Pages that link to "Item:Q1079948"

The following pages link to A model and temporal proof system for networks of processes (Q1079948):

Displaying 4 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)