Sfoglia per Autore
Matrices, machines and behaviors
1996-01-01 Bloom, S.; Sabadini, Nicoletta; Walters, Rfc
A note on recursive functions
1996-01-01 Sabadini, Nicoletta; Vigna, S; Walters, Rfc
Probabilistic asynchronous automata.
1996-01-01 Jesi, S.; Pighizzini, G.; Sabadini, Nicoletta
Representing P/T nets in Span(Graph)
1997-01-01 Katis, P.; Sabadini, Nicoletta; Walters, R. F. C.
Span(Graph): an algebra of transition systems
1997-01-01 Katis, P; Sabadini, Nicoletta; Walters, Rfc
Bicategories of processes
1997-01-01 Katis, P; Sabadini, Nicoletta; Walters, Rfc
Minimal realization in bicategories of automata
1998-01-01 Rosebrugh, R.; Sabadini, Nicoletta; Walters, Rfc
An automata model of distributed systems
2000-01-01 Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters
An automata model of distributed systems
2000-01-01 Piergiulio, Katis; R., Rosebrugh; Sabadini, Nicoletta; R., Walters
On Partita Doppia
2000-01-01 Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters
Compositional Model Checking in Span(Graph)
2000-01-01 Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters
On the algebra of feedback and systems with boundary
2000-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
A formalization of the IWIM model
2000-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
P Systems with Gemmation of Mobile Membranes
2001-01-01 Sabadini, Nicoletta; Besozzi, D; Zandron, C; Mauri, G.
Comparing Cospans-Spans and Tiles via a Hoare Style process calculus
2001-01-01 Gadducci, F.; Katis, P.; Montanari, U.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
P systems with Gemmation of Mobile Membranas
2001-01-01 Daniela, Besozzi; Claudio, Zandron; Giancarlo, Mauri; Sabadini, Nicoletta
Model checking with compositional quotient structures
2001-01-01 Katis, P; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Concurrency and Recursion
2001-01-01 Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters
Categorical Algebras of Automata
2002-01-01 Sabadini, Nicoletta; Walters, R. F. C.
An automata model of distributed computation
2002-01-01 Sabadini, Nicoletta; Walters, R. F. C.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Matrices, machines and behaviors | 1-gen-1996 | Bloom, S.; Sabadini, Nicoletta; Walters, Rfc | |
| A note on recursive functions | 1-gen-1996 | Sabadini, Nicoletta; Vigna, S; Walters, Rfc | |
| Probabilistic asynchronous automata. | 1-gen-1996 | Jesi, S.; Pighizzini, G.; Sabadini, Nicoletta | |
| Representing P/T nets in Span(Graph) | 1-gen-1997 | Katis, P.; Sabadini, Nicoletta; Walters, R. F. C. | |
| Span(Graph): an algebra of transition systems | 1-gen-1997 | Katis, P; Sabadini, Nicoletta; Walters, Rfc | |
| Bicategories of processes | 1-gen-1997 | Katis, P; Sabadini, Nicoletta; Walters, Rfc | |
| Minimal realization in bicategories of automata | 1-gen-1998 | Rosebrugh, R.; Sabadini, Nicoletta; Walters, Rfc | |
| An automata model of distributed systems | 1-gen-2000 | Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters | |
| An automata model of distributed systems | 1-gen-2000 | Piergiulio, Katis; R., Rosebrugh; Sabadini, Nicoletta; R., Walters | |
| On Partita Doppia | 1-gen-2000 | Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters | |
| Compositional Model Checking in Span(Graph) | 1-gen-2000 | Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters | |
| On the algebra of feedback and systems with boundary | 1-gen-2000 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| A formalization of the IWIM model | 1-gen-2000 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| P Systems with Gemmation of Mobile Membranes | 1-gen-2001 | Sabadini, Nicoletta; Besozzi, D; Zandron, C; Mauri, G. | |
| Comparing Cospans-Spans and Tiles via a Hoare Style process calculus | 1-gen-2001 | Gadducci, F.; Katis, P.; Montanari, U.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| P systems with Gemmation of Mobile Membranas | 1-gen-2001 | Daniela, Besozzi; Claudio, Zandron; Giancarlo, Mauri; Sabadini, Nicoletta | |
| Model checking with compositional quotient structures | 1-gen-2001 | Katis, P; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| Concurrency and Recursion | 1-gen-2001 | Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters | |
| Categorical Algebras of Automata | 1-gen-2002 | Sabadini, Nicoletta; Walters, R. F. C. | |
| An automata model of distributed computation | 1-gen-2002 | Sabadini, Nicoletta; Walters, R. F. C. |
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