Roberto Bruni, Ugo Montanari  Home/Search
Context Related
| di.unipi.it/~bruni/public...iandc.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: di.unipi.it/~br...ListOfAbstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The main feature of zero-safe nets is a primitive notion of transition synchronization. To this aim, besides ordinary places, called stable places, zero-safe nets are equipped with zero places, which in an observable marking cannot contain any token. This yields the notion of transaction: a basic atomic computation, which may use zero tokens as triggers, but defines an evolution between observable markings only. The abstract counterpart of a generic zero-safe net B consists of an ordinary... (Update)
Cited by: More
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (Correct)
A Concurrent Logical Framework II: - Examples And Applications (Correct)
Open Ended Systems, Dynamic Bisimulation and Tile Logic - Bruni, Montanari, Sassone (Correct)
Similar documents (at the sentence level): More
23.8%: Tile Logic for Synchronized Rewriting of Concurrent Systems - Bruni (1999) (Correct)
21.3%: Zero-Safe Nets: Composing Nets via Transition Synchronization - Bruni, Montanari (1999) (Correct)
18.2%: Zero-Safe Nets: The Individual Token Approach - Bruni, Montanari (1998) (Correct)
Active bibliography (related documents): More All
0.7: Transactions and Zero-Safe Nets - Bruni, Montanari (2001) (Correct)
0.6: Symmetric and Cartesian Double Categories as a Semantic .. - Bruni, Meseguer.. (1995) (Correct)
0.5: Construction of Traps for Refined Petri Boxes - Melzer, Riemann (Correct)
Similar documents based on text: More All
0.7: Zero-Safe Nets: Comparing the - Collective And Individual (Correct)
0.6: Process and Term Tile Logic - Bruni, Meseguer, Monzanari (1998) (Correct)
0.5: Internal Strategies in a Rewriting Implementation of Tile.. - Bruni, Meseguer, Montanari (1998) (Correct)
Related documents from co-citation: More All
9: or Transition Synchronization Made Simple (context) - Bruni, Montanari - 1997
9: The chemical abstract machine (context) - Berry, Boudol - 1990
8: A structural approach to operational semantics - Plotkin - 1981
BibTeX entry: (Update)
R. Bruni and U. Montanari, Zero-Safe Nets: Comparing the Collective and the Individual Token Approaches, Information and Computation, to appear. http://citeseer.ist.psu.edu/206877.html More
@article{ bruni00zerosafe,
author = "Roberto Bruni and Ugo Montanari",
title = "Zero-Safe Nets: Comparing the Collective and Individual Token Approaches",
journal = "Information and Computation",
volume = "156",
number = "1-2",
pages = "46-89",
year = "2000",
url = "citeseer.ist.psu.edu/206877.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
236 Categories for the Working Mathematician (context) - MacLane - 1971
103 Springer-Verlag (context) - Reisig - 1985
69 The Box Calculus: A New Causal Algebra with Multi-label Comm.. (context) - Best, Devillers et al. - 1992
57 Petri Net Models for Algebraic Theories of Concurrency (context) - Van Glabbeek, Vaandrager - 1987
47 Petri Nets are Monoids (context) - Meseguer, Montanari - 1990
41 Axiomatizing the Algebra of Net Computations and Processes (context) - Degano, Meseguer et al. - 1996
38 Event Structure Semantics of CCS and Related Languages (context) - Winskel - 1982
37 A Distributed Operational Semantics for CCS based on Conditi.. (context) - Degano, De Nicola et al. - 1988
34 A Categorical Linear Framework for Petri Nets (context) - Brown, Gurr - 1990
32 Axiomatizing Net Computations and Processes (context) - Degano, Meseguer et al. - 1989
27 Analysis of Petri Nets by Stepwise Refinement (context) - Valette - 1979
27 Configuration Structures - Van Glabbeek, Plotkin - 1995
27 the Algebraic Approach to Concurrent Term Rewriting - Gadducci - 1996
24 An Axiomatization of the Algebra of Petri Net Concatenable P.. - Sassone - 1996
20 A Method for Stepwise Refinement and Abstraction of Petri Ne.. (context) - Suzuki, Murata - 1983
20 Representation Theorems for Petri Nets - Meseguer, Montanari et al. - 1998
20 Process versus Unfolding Semantics for Place/Transition Petr.. - Meseguer, Montanari et al. - 1996
16 Modelling Systems with Shared Resources via Petri Nets (context) - Ristori - 1994
14 Petri Nets are Monoids: A New Algebraic Foundations for Net .. (context) - Meseguer, Montanari - 1988
13 Zero-Safe Nets: The Individual Token Approach - Bruni, Montanari - 1998
12 Operational Petri Net Semantics for CCSP (context) - Olderog - 1987
9 Petri Nets (context) - Winskel - 1987
7 Refinement of Actions and Equivalence Notions for Concurrent.. - Van Glabbeek, Goltz - 1998
7 Process and Term Tile Logic - Bruni, Meseguer et al. - 1998
6 On Abstraction of Nets (context) - Desel - 1991
5 the Implementation of Concurrent Calculi into Net Calculi: T.. (context) - Gorrieri, Montanari - 1995
5 A Structuring Mechanism for Petri Nets (context) - Kiehn - 1989
5 Behaviour Preserving Refinements of Petri Nets (context) - Vogler - 1987
2 Zero-Safe Nets (context) - Bruni, Montanari - 1997
2 General Refinement and Recursion for the Box Calculus (context) - Best, Devillers et al. - 1993
1 The Non-Sequential Behaviour of Petri Nets (context) - Goltz, Reisig - 1983
1 Failures Semantics of Petri Nets and the Refinement of Place.. (context) - Vogler - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.unipi.it/~bruni/publications/ListOfAbstracts.html): More
A 2-category View for Double Categories with Shared Structure - Bruni, Meseguer, Montanari (1999) (Correct)
Normal Forms for Partitions and Relations - Bruni, Gadducci, Montanari (1999) (Correct)
Tile Bisimilarity Congruences for Open Terms and Term.. - Bruni, de.. (2000) (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