Axiomatic semantics of communicating sequential processes
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A model and temporal proof system for networks of processes
Distributed Computing
Completeness and incompleteness of trace-based network proof systems
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Equational reasoning about nondeterministic processes
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Compositionality, concurrency and partial correctness
Compositionality, concurrency and partial correctness
Nets of processes and data flow
Proceedings of the Fourth Annual Symposium on Logic in computer science
Proceedings of the seventeenth international colloquium on Automata, languages and programming
In transition from global to modular temporal reasoning about programs
Logics and models of concurrent systems
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Trace-based network proof systems: expressiveness and completeness
ACM Transactions on Programming Languages and Systems (TOPLAS)
Non Modularity and Expressibility for Nets of Relations
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Towards a Complete Hierarchy of Compositional Dataflow Models
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
On Nets, Algebras and Modularity
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
Discerning Causality in Interleaving Behavior
Proceedings of the Symposium on Logical Foundations of Computer Science: Logic at Botik '89
Nets of processes and data flow
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Proofs of Networks of Processes
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |