The following pages link to (Q4372017):
Displayed 16 items.
- Encoding the dynamics of deterministic systems (Q634779) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- On stubborn sets in the verification of linear time temporal properties (Q1774568) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Plan coordination by revision in collective agent based systems. (Q1852864) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Observable liveness of Petri nets (Q2340254) (← links)
- Implementing dataflow with threads (Q2377253) (← links)
- Petri net reactive modules (Q2503287) (← links)
- Oclets – Scenario-Based Modeling with Petri Nets (Q3636847) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)
- Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing (Q5403079) (← links)
- A Hybrid Approach to Modeling Biological Systems (Q5452054) (← links)