Search Sciweavers | Sciweavers

247 search results - page 3 / 50

» ccs 2007

click to vote

FORTE
2000

81views Formal Methods» more FORTE 2000»

Implementing CCS in Maude

15 years 23 days ago

Download maude.sip.ucm.es

Alberto Verdejo, Narciso Martí-Oliet

claim paper

Read More »

click to vote

ENTCS
2007

74views more ENTCS 2007»

State-oriented Noninterference for CCS

14 years 11 months ago

Download hal.archives-ouvertes.fr

Ilaria Castellani

claim paper

Read More »

click to vote

APLAS
2007
ACM

88views Programming Languages» more APLAS 2007»

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

15 years 3 months ago

Download www.cs.unibo.it

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

claim paper

Read More »

click to vote

CALCO
2007
Springer

112views Mathematics» more CALCO 2007»

Impossibility Results for the Equational Theory of Timed CCS

15 years 5 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 »

Voted

CCS
2007
ACM

95views Security Privacy» more CCS 2007»

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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers