Pages that link to "Item:Q1079948"
From MaRDI portal
The following pages link to A model and temporal proof system for networks of processes (Q1079948):
Displaying 7 items.
- An operator net model for distributed systems (Q1123601) (← links)
- A compositional axiomatization of statecharts (Q1194330) (← links)
- A fully abstract trace model for dataflow and asynchronous networks (Q1333374) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)
- An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)
- Automated temporal reasoning about reactive systems (Q6560389) (← links)
