Sciweavers

247 search results - page 3 / 50

» ccs 2007

105

FORTE
2000

81views Formal Methods» more FORTE 2000»

Implementing CCS in Maude

15 years 5 months ago

Implementing CCS in Maude

Download maude.sip.ucm.es

Alberto Verdejo, Narciso Martí-Oliet

claim paper

Read More »

89

ENTCS
2007

74views more ENTCS 2007»

State-oriented Noninterference for CCS

15 years 3 months ago

State-oriented Noninterference for CCS

Download hal.archives-ouvertes.fr

Ilaria Castellani

claim paper

Read More »

110

APLAS
2007
ACM

88views Programming Languages» more APLAS 2007»

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence

15 years 8 months ago

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence

Download www.cs.unibo.it

Jesús Aranda, Cinzia Di Giusto, Mogens Niel...

claim paper

Read More »

119

Voted

CALCO
2007
Springer

112views Mathematics» more CALCO 2007»

Impossibility Results for the Equational Theory of Timed CCS

15 years 10 months ago

Impossibility Results for the Equational Theory of Timed CCS

Download www.win.tue.nl

We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...

Luca Aceto, Anna Ingólfsdóttir, Moha...

claim paper

Read More »

84

Voted

CCS
2007
ACM

95views Security Privacy» more CCS 2007»

Forward-secure signatures in untrusted update environments: efficient and generic constructions

15 years 10 months ago

Forward-secure signatures in untrusted update environments: efficient and generic constructions

Download www.dice.ucl.ac.be

Benoît Libert, Jean-Jacques Quisquater, Moti...

claim paper

Read More »

« Prev « First page 3 / 50 Last » Next »