Search Sciweavers | Sciweavers

247 search results - page 3 / 50

» ccs 2007

156

click to vote

FORTE
2000

81views Formal Methods» more FORTE 2000»

Implementing CCS in Maude

15 years 9 months ago

Download maude.sip.ucm.es

Alberto Verdejo, Narciso Martí-Oliet

claim paper

Read More »

128

click to vote

ENTCS
2007

74views more ENTCS 2007»

State-oriented Noninterference for CCS

15 years 7 months ago

Download hal.archives-ouvertes.fr

Ilaria Castellani

claim paper

Read More »

159

Voted

APLAS
2007
ACM

88views Programming Languages» more APLAS 2007»

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

15 years 11 months ago

Download www.cs.unibo.it

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

claim paper

Read More »

177

Voted

CALCO
2007
Springer

112views Mathematics» more CALCO 2007»

Impossibility Results for the Equational Theory of Timed CCS

16 years 1 months ago

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 »

139

click to vote

CCS
2007
ACM

95views Security Privacy» more CCS 2007»

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

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers