Roberto Bruni, Jose Meseguer, Ugo Montanari, Vladimiro Sassone  Home/Search
Context
Related
Links: DBLP | cogs.susx.ac.uk/users/vs/r...mcpn.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: The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious behaviors that must be somewhat filtered out. In this paper, we exploit partial membership equational logic to define a suitable theory of models, where the meaningful concurrent computations can be selected by means of membership predicates. (Update)
Active bibliography (related documents): More All
3.8: Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (Correct)
1.6: Functorial Models for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2002) (Correct)
1.1: Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation - Baldan, Bruni, Montanari (2002) (Correct)
Similar documents based on text: More All
0.7: A Comparison of Petri Net Semantics under the.. - Bruni, Meseguer.. (1998) (Correct)
0.5: Process and Term Tile Logic - Bruni, Meseguer, Monzanari (1998) (Correct)
0.5: Process versus Unfolding Semantics for Place/Transition.. - Meseguer, Montanari.. (1996) (Correct)
BibTeX entry: (Update)
@misc{ bruni-algebraic,
author = "Roberto Bruni and Jose Meseguer and Ugo Montanari and Vladimiro Sassone",
title = "Algebraic Theories for Contextual Pre-Nets",
url = "citeseer.ist.psu.edu/670556.html" }
Citations (may not include all citations):168 Petri Nets: An Introduction (context) - Reisig - 1985
94 Maude: Specification and programming in rewriting logic - Clavel, Duran et al. - 2002 DBLP
91 Rewriting logic as a semantic framework for concurrency: A p.. - Meseguer - 1996
69 Membership algebra as a logical framework for equational spe.. - Meseguer - 1998 ACM DBLP
65 Institut fur Instrumentelle Mathematik (context) - Petri, Automaten - 1962
59 The non-sequential behaviour of Petri nets (context) - Goltz, Reisig - 1983
51 Specification and proof in membership equational logic - Bouhoula, Jouannaud et al. - 2000 ACM DBLP
47 Petri nets are monoids (context) - Meseguer, Montanari - 1990 DBLP
46 Mapping tile logic into rewriting logic - Meseguer, Montanari - 1998
41 Axiomatizing the algebra of net computations and processes (context) - Degano, Meseguer et al. - 1996 DBLP
27 Events in security protocols - Crazzolara, Winskel - 2001 ACM DBLP
24 Coloured petri nets extended with place capacities - Christensen, Hansen - 1993
24 An axiomatization of the algebra of Petri net concatenable p.. - Sassone - 1996 ACM DBLP
22 Contextual occurrence nets and concurrent constraint program.. (context) - Montanari, Rossi - 1994
16 Contextual nets - Montanari, Rossi - 1995 DBLP
16 Axioms for contextual net processes - Gadducci, Montanari - 1996 ACM DBLP
15 An axiomatization of the category of Petri net computations - Sassone - 1998
14 Partial order semantics and read arcs - Vogler - 1997 ACM DBLP
11 Efficiency of asynchronous systems and read arcs in Petri ne.. (context) - Vogler - 1997 ACM DBLP
8 Functorial models for petri nets - Bruni, Meseguer et al. - 2001 ACM DBLP
8 Semantics of inhibitor nets (context) - Janicki, Koutny - 1995 ACM DBLP
7 Rewriting logic as a unifying framework for Petri nets (context) - Meseguer, Olveczky et al. - 2001 ACM DBLP
5 i and F. Gadducci. Some algebraic laws for spans (and their .. (context) - Brun - 2001
5 Two algebraic process semantics for contextual nets - Bruni, Sassone - 2001
3 asymmetric event structures (context) - Baldan, Corradini et al. - 2001
3 Modeling concurrent accesses to shared data via Petri nets (context) - De Francesco, Montanari et al. - 1994
3 Functorial models for contextual prenets - Bruni, Meseguer et al. - 2002
3 IEEE Computer Society Press (context) - van Glabbeek, Plotkin et al. - 1995
2 Foundations of Computer Science: Potential - Theory - Cognit.. (context) - Meseguer, Montanari et al. - 1997
2 read arcs and unfolding: a functorial presentation (context) - Baldan, Bruni et al. - 2003
1 A Theories in partial membership equational logic The theory.. (context) - Winskel, Nielsen et al. - 1995
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)
High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (2001) (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