Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ENTCS
2006

favoriteEmaildiscussreport

98views more ENTCS 2006»

A Petri Net Semantics of a Simple Process Algebra for Mobility

13 years 4 months ago

A Petri Net Semantics of a Simple Process Algebra for Mobility

Download www.cs.ncl.ac.uk

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

Real-time Traffic

ENTCS 2006 |

claim paper

Related Content

» Two Algebraic Process Semantics for Contextual Nets

» An Algebraic Semantics for Hierarchical PT Nets

» Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity

» Synchronous Concurrent Sequential Earlier than Not later than

» The How and Why of Interactive Markov Chains

» On the Model of Computation of PlaceTransition Petri Nets

» Rewriting Logic as a Unifying Framework for Petri Nets

» On the Semantics of Petri Nets

» Independence and Concurrent Separation Logic

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

Comments (0)