Search Sciweavers | Sciweavers

2148 search results - page 7 / 430

» Responsiveness in Process Calculi

click to vote

GC
2004
Springer

108views Applied Computing» more GC 2004»

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi

14 years 24 days ago

Download www.dsi.unive.it

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

click to vote

CORR
2010
Springer

71views Education» more CORR 2010»

On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions

13 years 7 months ago

Download www.sti.uniurb.it

Marco Bernardo

claim paper

Read More »

click to vote

ENTCS
2008

102views more ENTCS 2008»

Encoding Distributed Process Calculi into LMNtal

13 years 7 months ago

Download www.ueda.info.waseda.ac.jp

Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...

Kazunori Ueda

claim paper

Read More »

click to vote

CORR
2010
Springer

48views Education» more CORR 2010»

A criterion for separating process calculi

13 years 5 months ago

Download rap.dsi.unifi.it

Federico Banti, Rosario Pugliese, Francesco Tiezzi

claim paper

Read More »

click to vote

CMSB
2010
Springer

91views Applied Computing» more CMSB 2010»

A generic abstract machine for stochastic process calculi

13 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers