Nonsequential processes
Munin: distributed shared memory based on type-specific memory coherence
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Principles of High-Level Net Theory
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Verifying Intuition - ILF Checks DAWN Proofs
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs
Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs
Temporal Logic with Capacity Constraints
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Hi-index | 0.00 |
Scenarios are now widely used when developing distributed systems. In this paper, we provide a semantical foundation for scenarios, which reflects the informal and non-operational use of scenarios. We call this semantics situations. We show that system properties can be specified by implications between situations, and we provide some proof techniques for verifying that a system meets such specifications. The basic proof arguments are automata, which are abstractions of the considered system or some of its causal relations.