The following pages link to Concurrency, Graphs and Models (Q3507351):
Displaying 50 items.
- Ugo Montanari in a Nutshell (Q3507352) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← links)
- Synchronous Multiparty Synchronizations and Transactions (Q3507358) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design (Q3507361) (← links)
- Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section (Q3507362) (← links)
- Semiring-Based Soft Constraints (Q3507363) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets (Q3507365) (← links)
- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy (Q3507366) (← links)
- AND/OR Multi-valued Decision Diagrams for Constraint Networks (Q3507367) (← links)
- Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section (Q3507368) (← links)
- Modeling Business within a UML-Based Rigorous Software Development Approach (Q3507369) (← links)
- From Domain to Requirements (Q3507370) (← links)
- Business Process Modeling for Organizational Knowledge Management (Q3507371) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- Dynamically Evolvable Dependable Software: From Oxymoron to Reality (Q3507373) (← links)
- The Temporal Logic of Rewriting: A Gentle Introduction (Q3507374) (← links)
- A Heterogeneous Approach to UML Semantics (Q3507375) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- On the Synthesis of Zero-Safe Nets (Q3507377) (← links)
- A Note on Persistent Petri Nets (Q3507378) (← links)
- Secure Data Flow in a Calculus for Context Awareness (Q3507380) (← links)
- On Beta-Binders Communications (Q3507381) (← links)
- On the Asynchronous Nature of the Asynchronous π-Calculus (Q3507382) (← links)
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes (Q3507384) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Automatic Mutual Exclusion and Atomicity Checks (Q3507386) (← links)
- Petri Nets, Discrete Physics, and Distributed Quantum Computation (Q3507387) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- What Do Semantics Matter When the Meat Is Overcooked? (Q3507389) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- Observability Concepts in Abstract Data Type Specification, 30 Years Later (Q3507391) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)
- History Dependent Automata for Service Compatibility (Q3507393) (← links)
- A Type System for Client Progress in a Service-Oriented Calculus (Q3507394) (← links)
- Session and Union Types for Object Oriented Programming (Q3507395) (← links)
- The Pairing of Contracts and Session Types (Q3507396) (← links)
- Specifying and Analysing SOC Applications with COWS (Q3507397) (← links)
- Approximating Behaviors in Embedded System Design (Q3507398) (← links)
- Ugo Montanari and Friends (Q3507399) (← links)
- Calculating with Automata (Q3507400) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Some Theorems Concerning the Core Function (Q3507402) (← links)
- The Seventies (Q3507403) (← links)
- Categories, Software and Meaning (Q3507404) (← links)
