| Login | Create Account |
Items where Author is "Baldan, Paolo"
Group by: Item Type | No Grouping Number of items: 7. 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. |
