Communicating sequential processes
Communicating sequential processes
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Communication and concurrency
On verifying that a concurrent program satisfies a nondeterministic specification
Information Processing Letters
CAAP '90 Proceedings of the fifteenth colloquium on CAAP'90
The existence of refinement mappings
Theoretical Computer Science
Proving nondeterministically specified safety properties using progress measures
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mona: Monadic Second-Order Logic in Practice
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
STeP: The Stanford Temporal Prover
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Mechanical Verification of Concurrent Systems with TLA
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Modelling Asynchrony with a Synchronous Model
Proceedings of the 7th International Conference on Computer Aided Verification
Verification Tools for Finite-State Concurrent Systems
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Temporal Verification of Simulation and Refinement
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Forward and backward simulations -- Part I: untimed systems.
Forward and backward simulations -- Part I: untimed systems.
A Domain-Specific Language for Regular Sets of Strings and Trees
IEEE Transactions on Software Engineering
A domain-specific language for regular sets of strings and trees
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Monadic second-order logics with cardinalities
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Combining logic programs and monadic second order logics by program transformation
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
| Hi-index | 0.00 |