Roberto Bruni, Jose Meseguer, Ugo Montanari, Vladimiro Sassone  Home/Search
Context Related
Links: ACM | di.unipi.it/pub/techrep...TR0209.ps.Z 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/ricerca/TR/tr2002 (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 non-free monoid of objects, or introduce too many behaviors that must be somewhat filtered out. In this report, 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. 1 (Update)
Cited by: More
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (Correct)
Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation - Baldan, Bruni, Montanari (2002) (Correct)
Active bibliography (related documents): More All
1.0: Two Algebraic Process Semantics for Contextual Nets - Bruni, Sassone (2001) (Correct)
0.7: The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
0.6: Algebraic Models for Contextual Nets - Bruni, Sassone (2000) (Correct)
Similar documents based on text: More All
0.5: Process versus Unfolding Semantics for Place/Transition.. - Meseguer, Montanari.. (1996) (Correct)
0.5: Representation Theorems for Petri Nets - Meseguer, Montanari, Sassone (Correct)
0.5: A Comparison of Petri Net Semantics under the.. - Bruni, Meseguer.. (1998) (Correct)
Related documents from co-citation: More All
3: Modeling concurrent accesses to shared data via Petri nets (context) - De Francesco, Montanari et al. - 1994
3: An Axiomatization of the Category of Petri Net Computations - SASSONE
3: Contextual Nets - Montanari, Rossi
BibTeX entry: (Update)
R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. Functorial models for contextual prenets. Technical Report TR-02-09, Computer Science Department, University of Pisa, 2002. http://citeseer.ist.psu.edu/bruni02functorial.html More
@misc{ bruni02functorial,
author = "R. Bruni and J. Meseguer and U. Montanari and V. Sassone",
title = "Functorial models for contextual prenets",
text = "R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. Functorial models
for contextual prenets. Technical Report TR-02-09, Computer Science Department,
University of Pisa, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/bruni02functorial.html" }
Citations (may not include all citations):146 EATCS Monographs on Theoretical Computer Science (context) - Reisig, An - 1985
94 Maude: Specification and programming in rewriting logic - Clavel, Duran et al. - 1999 DBLP
91 Rewriting logic as a semantic framework for concurrency: A p.. - Meseguer - 1996 DBLP
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 ACM DBLP
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
20 Representation theorems for Petri nets - Meseguer, Montanari et al. - 1997
16 Axioms for contextual net processes - Gadducci, Montanari - 1996 ACM DBLP
16 Contextual nets - Montanari, Rossi - 1995 DBLP
16 Modelling Systems with Shared Resources via Petri Nets (context) - Ristori - 1994
15 An axiomatization of the category of Petri net computations - Sassone - 1998 ACM DBLP
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
10 Configuration structures - van Glabbeek, Plotkin - 1995 ACM DBLP
8 Semantics of inhibitor nets (context) - Janicki, Koutny - 1995 ACM DBLP
8 Functorial models for petri nets - Bruni, Meseguer et al. - 2001 ACM DBLP
7 Rewriting logic as a unifying framework for Petri nets (context) - Meseguer, Olveczky et al. - 2001 ACM DBLP
7 Algebraic models for contextual nets - Bruni, Sassone - 2000 ACM DBLP
5 Two algebraic process semantics for contextual nets - Bruni, Sassone - 2001 ACM DBLP
3 asymmetric event structures (context) - Baldan, Corradini et al. - 2001
Documents on the same site (http://www.di.unipi.it/ricerca/TR/tr2002.html): More
π-Calculus Early Observational Equivalence: A First Order.. - Montanari (2002) (Correct)
Recovery Of Certain Displacement Matrices - Bozzo (2002) (Correct)
A New Approach to Three-Level Logic Synthesis - Ciriani (2002) (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