Completeness and incompleteness of trace-based network proof systems
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Modular verification of asynchronous networks
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A fully abstract trace model for dataflow networks
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Trace-based network proof systems: expressiveness and completeness
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Trace and testing equivalence on asynchronous processes
Information and Computation
Proving Correctness of Timed Concurrent Constraint Programs
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic (TOCL)
P-A logic: a compositional proof system for distributed programs
Distributed Computing
The compositional approach to sequential consistency and lazy caching
Distributed Computing - Special issue: Verification of lazy caching
A compositional semantics for CHR
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A fully abstract trace model for dataflow and asynchronous networks
Distributed Computing
A compositional trace logic for behavioural interface specifications
Nordic Journal of Computing
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
A compositional semantics for CHR
ACM Transactions on Computational Logic (TOCL)
A Compositional Semantics for CHR with Propagation Rules
Constraint Handling Rules
Timed soft concurrent constraint programs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Compositional verification of asynchronous processes via constraint solving
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Models for data-flow sequential processes
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
| Hi-index | 0.00 |