UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Author is "Baldan, Paolo"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book
Number of items: 7.

Book

Baldan, Paolo and Bracciali, Andrea and Bruni, Roberto (2007) A Semantic Framework for Open Processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Bracciali, Andrea and Bruni, Roberto (2003) Symbolic Equivalences for Open Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Mancarella, Paolo and Raffaetà, Alessandra and Turini, Franco (2001) MuTACLP: A language for temporal reasoning with multiple theories. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Corradini, Andrea and Ehrig, H. and Heckel, Reiko (2001) Compositional Semantics of Open Petri Nets based on Deterministic Processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Alessi, F. and Baldan, Paolo and Honsell, F. (2000) A category of compositional domain-models for separable Stone spaces. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Busi, N. and Corradini, Andrea and Pinna, G.M. (2000) Domain and Event Structure Semantics for Petri Nets with Read and Inhibitors arcs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Corradini, Andrea and Montanari, Ugo (1999) Contextual Petri nets, Asymmetric Event Structures and Processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Mon Sep 23 05:24:19 2019 CEST.