Sfoglia per Autore
Zero-Safe Nets, or Transition Synchronization Made Simple
1997-01-01 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
A logic for modular descriptions of asynchronous and synchronized concurrent systems
1998-01-01 Bruni, Roberto
Internal Strategies in a Rewriting Implementation of Tile Systems
1998-01-01 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO
Zero-safe nets: The individual token approach
1998-01-01 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
A Comparison of Petri Net Semantics under the Collective Token Philosophy
1998-01-01 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
Implementing Tile Systems: Some Examples from Process Calculi
1998-01-01 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO
Normal forms for partitions and relations
1998-01-01 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Tile Logic for Synchronized Rewriting of Concurrent Systems
1999-01-01 Bruni, Roberto
Zero-Safe Nets: Composing Nets via Transition Synchronization
1999-01-01 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Functorial Semantics for Petri Nets under the Individual Token Philosophy
1999-01-01 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
Executable Tile Specifications for Process Calculi
1999-01-01 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus
1999-01-01 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Algebraic Models for Contextual Nets
2000-01-01 Bruni, Roberto; Sassone, V.
Open Ended Systems, Dynamic Bisimulation and Tile Logic
2000-01-01 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
Executing Transactions in Zero-Safe Nets
2000-01-01 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches
2000-01-01 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic
2000-01-01 Bruni, Roberto; DE FRUTOS ESCRIG, D; MARTI OLIET, N; Montanari, UGO GIOVANNI ERASMO
Two Algebraic Process Semantics for Contextual Nets
2001-01-01 Bruni, Roberto; Sassone, V.
Zero-safe net models for transactions in Linda
2001-01-01 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Some algebraic laws for spans
2001-01-01 Bruni, Roberto; Gadducci, Fabio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Zero-Safe Nets, or Transition Synchronization Made Simple | 1-gen-1997 | Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO | |
A logic for modular descriptions of asynchronous and synchronized concurrent systems | 1-gen-1998 | Bruni, Roberto | |
Internal Strategies in a Rewriting Implementation of Tile Systems | 1-gen-1998 | Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO | |
Zero-safe nets: The individual token approach | 1-gen-1998 | Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO | |
A Comparison of Petri Net Semantics under the Collective Token Philosophy | 1-gen-1998 | Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V. | |
Implementing Tile Systems: Some Examples from Process Calculi | 1-gen-1998 | Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO | |
Normal forms for partitions and relations | 1-gen-1998 | Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO | |
Tile Logic for Synchronized Rewriting of Concurrent Systems | 1-gen-1999 | Bruni, Roberto | |
Zero-Safe Nets: Composing Nets via Transition Synchronization | 1-gen-1999 | Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO | |
Functorial Semantics for Petri Nets under the Individual Token Philosophy | 1-gen-1999 | Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V. | |
Executable Tile Specifications for Process Calculi | 1-gen-1999 | Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO | |
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus | 1-gen-1999 | Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO | |
Algebraic Models for Contextual Nets | 1-gen-2000 | Bruni, Roberto; Sassone, V. | |
Open Ended Systems, Dynamic Bisimulation and Tile Logic | 1-gen-2000 | Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sassone, V. | |
Executing Transactions in Zero-Safe Nets | 1-gen-2000 | Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO | |
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches | 1-gen-2000 | Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO | |
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic | 1-gen-2000 | Bruni, Roberto; DE FRUTOS ESCRIG, D; MARTI OLIET, N; Montanari, UGO GIOVANNI ERASMO | |
Two Algebraic Process Semantics for Contextual Nets | 1-gen-2001 | Bruni, Roberto; Sassone, V. | |
Zero-safe net models for transactions in Linda | 1-gen-2001 | Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO | |
Some algebraic laws for spans | 1-gen-2001 | Bruni, Roberto; Gadducci, Fabio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile