Searching for authors named Vladimiro Sassone – sorted by Relevance.
66 documents found, showing 1 through 10.
Next 10 →
-
On the Category of Petri Net Computations
- … and Dedication to my Beloved mother Liana Vladimiro Sassone \Pi BRICS -- Computer Science Dept., University…
- Cited by 9 (6 self) – Add To MetaCart
-
Axiomatizing Petri Net Concatenable Processes
- …Proceedings of FCT `95, LNCS n. 965 Axiomatizing Petri Net Concatenable Processes Vladimiro…
- Cited by 3 (3 self) – Add To MetaCart
-
An Axiomatization of the Algebra of Petri Net Concatenable Processes
- … Concatenable Processes Vladimiro Sassone BRICS* -- Computer Science Dept., University of Aarhus Abstract…
- Cited by 17 (8 self) – Add To MetaCart
-
Strong Concatenable Processes: An Approach to the Category of Petri Net Computations
- … Science Strong Concatenable Processes:An Approach to the Category of Petri Net Computations Vladimiro…
- Cited by 3 (0 self) – Add To MetaCart
-
On the Algebraic Structure of Petri Nets
- …On the Algebraic Structure of Petri Nets Vladimiro Sassone Dipartimento di Matematica e…
- Cited by 2 (1 self) – Add To MetaCart
-
An axiomatization of the category of Petri net computations
- …MemoryandDedicationtomyBelovedmotherLiana Vladimiro Sassone ⋄ BRICS ∗ – Computer Science Dept., University of Aarhus Abstract. We introduce the notion…
- Cited by 10 (5 self) – Add To MetaCart
-
Structural Operational Semantics for Stochastic Process Calculi
- …Structural Operational Semantics for Stochastic Process Calculi Bartek Klin 1 and Vladimiro…
- Add To MetaCart
-
Coinductive Reasoning for Contextual Graph-Rewriting
- …Coinductive Reasoning for Contextual Graph-Rewriting Vladimiro Sassone University of Sussex…
- Cited by 4 (1 self) – Add To MetaCart
-
Jeeg: A Programming Language for Concurrent Objects Synchronization
- … Research in Computer Science University of Aarhus, Denmark milicia@(email omitted); Vladimiro Sassone School…
- Cited by 8 (2 self) – Add To MetaCart
-
CCS Dynamic Bisimulation is Progressing
- … is PROGRESSING ∗ Ugo Montanari and Vladimiro Sassone Dipartimento di Informatica – Università di Pisa Corso…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
