Marzia Buscemi, Vladimiro Sassone  Home/Search
Context Related
| cogs.susx.ac.uk/us...tsfossacs01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cogs.susx.ac.uk/users/vs/resea... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four classes of nets of increasing expressiveness, i , introduce a hierarchy of type systems of decreasing strictness, i , i = 0; : : : ; 3, and we prove that a join process is typeable according to i if and only if it is (strictly equivalent to) a net of class i . In the details, 0 and 1 contain, resp., usual... (Update)
Context of citations to this paper: More
...calculus; 3. several comparisons between join calculus and Petri nets have been studied (see e.g. the type systems for join calculus in [8] that characterize a hierarchy of net models) making it easier to establish a formal correspondence between ZS nets and their encoding in...
Cited by: More
Extending the Zero-Safe approach to Coloured.. - Bruni, Melgratti.. (Correct)
Zero-safe net models for transactions in Linda - Bruni, Montanari (2001) (Correct)
Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (Correct)
Active bibliography (related documents): More All
2.3: High-Level Petri Nets as - Type Theories In (Correct)
0.3: The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) (Correct)
0.3: JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (2002) (Correct)
Similar documents based on text: More All
0.4: Experimenting with STA, a tool for automatic analysis of.. - Boreale, Buscemi (Correct)
0.3: π-Calculus Early Observational Equivalence: A First Order.. - Montanari (2002) (Correct)
0.3: A Framework for the Analysis of Security Protocols - Boreale, Buscemi (2001) (Correct)
Related documents from co-citation: More All
5: Zero-Safe Nets: Comparing the Collective and the Individual Token Approaches - Bruni, Montanari
4: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
4: or Transition Synchronization Made Simple (context) - Bruni, Montanari - 1997
BibTeX entry: (Update)
M. Buscemi and V. Sassone. High-level Petri nets as type theories in the Join calculus. In F. Honsell and M. Miculan, editors, Proceedings of FoSSaCS 2001. http://citeseer.ist.psu.edu/buscemi01highlevel.html More
@article{ buscemi01highlevel,
author = "Maria Grazia Buscemi and Vladimiro Sassone",
title = "High-Level {Petri} Nets as Type Theories in the Join Calculus",
journal = "Lecture Notes in Computer Science",
volume = "2030",
pages = "104--??",
year = "2001",
url = "citeseer.ist.psu.edu/buscemi01highlevel.html" }
Citations (may not include all citations):291 A Calculus of Mobile Agents - Fournet, Gonthier et al. - 1996
168 Petri Nets: An Introduction (context) - Reisig - 1985
159 The Chemical Abstract Machine (context) - Berry, Boudol - 1992
85 Kommunikation mit Automaten (context) - Petri - 1962
85 Coloured Petri Nets (context) - Jensen - 1992
24 a la ML for the Join-Calculus (context) - Fournet, Laneve et al. - 1997
19 A Hierarchy of Equivalences for Asynchronous Calculi (context) - Fournet, Gonthier - 1996
16 Bisimulations for the JoinCalculus - Boreale, Fournet et al. - 1998
15 May and Must Testing in the Join-Calculus - Laneve - 1996
13 The Re exive Chemical Abstract Machine and the Join-Calculus (context) - Fournet, Gonthier - 1996
11 Characterizing Behavioural Congruences for Petri Nets - Nielsen, Priese et al. - 1995
8 Functorial Models for Petri Nets - Bruni, Meseguer et al. - 2000
7 Mobile Petri Nets - Asperti, Busi - 1996
5 Compiling Join-Patterns - Le Fessant, Maranget - 1998
2 A Functional View of Join - Odersky, Zenger et al. - 1999
2 Action Calculi (context) - Milner - 1993
2 the Algebraic Structure of Petri Nets - Sassone - 2000
Documents on the same site (http://www.cogs.susx.ac.uk/users/vs/research/paps/): More
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (Correct)
A Calculus of Mobile Resources - Godskesen, Hildebrandt, Sassone (2002) (Correct)
Locating Reaction with 2-categories - Sassone, Sobocinski (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC