| Publication | Date of Publication | Type |
|---|
| Evoking Whitehead's dictum | 2024-10-28 | Paper |
Faster possibility detection by combining two approaches
Distributed Algorithms | 2023-12-01 | Paper |
Tolerating malicious gossip
Distributed Computing | 2020-12-04 | Paper |
| JRIF: reactive information flow control for Java | 2020-03-03 | Paper |
Reasoning about programs by exploiting the environment
Automata, Languages and Programming | 2019-04-29 | Paper |
Quantification of integrity
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Multi-verifier signatures
Journal of Cryptology | 2012-07-03 | Paper |
The Building Blocks of Consensus
Distributed Computing and Networking | 2008-03-06 | Paper |
Automated analysis of fault-tolerance in distributed systems
Formal Methods in System Design | 2006-02-20 | Paper |
| scientific article; zbMATH DE number 1950678 (Why is no real title available?) | 2003-07-17 | Paper |
A TACOMA retrospective
Software: Practice and Experience | 2003-02-04 | Paper |
| scientific article; zbMATH DE number 1832229 (Why is no real title available?) | 2002-11-19 | Paper |
Adding the everywhere operator to propositional logic
Journal Of Logic And Computation | 1999-02-04 | Paper |
Teaching Math More Effectively, Through Calculational Proofs
The American Mathematical Monthly | 1997-11-09 | Paper |
| scientific article; zbMATH DE number 1049169 (Why is no real title available?) | 1997-08-17 | Paper |
Equational propositional logic
Information Processing Letters | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 910704 (Why is no real title available?) | 1997-01-19 | Paper |
| scientific article; zbMATH DE number 910720 (Why is no real title available?) | 1996-08-29 | Paper |
| scientific article; zbMATH DE number 789390 (Why is no real title available?) | 1995-08-23 | Paper |
Verifying programs that use causally-ordered message-passing
Science of Computer Programming | 1995-07-04 | Paper |
Proving nondeterministically specified safety properties using progress measures
Information and Computation | 1994-03-24 | Paper |
Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems | 1989-01-01 | Paper |
Recognizing safety and liveness
Distributed Computing | 1987-01-01 | Paper |
Derivation of a distributed algorithm for finding paths in directed networks
Science of Computer Programming | 1986-01-01 | Paper |
Safety without stuttering
Information Processing Letters | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3958701 (Why is no real title available?) | 1986-01-01 | Paper |
Defining liveness
Information Processing Letters | 1985-01-01 | Paper |
Thrifty execution of task pipelines
Acta Informatica | 1985-01-01 | Paper |
Fault-tolerant broadcasts
Science of Computer Programming | 1984-01-01 | Paper |
Using message passing for distributed programming: proof rules and disciplines
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
The ``Hoare Logic of CSP, and All That
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3814957 (Why is no real title available?) | 1983-01-01 | Paper |
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
Conditions for the Equivalence of Synchronous and Asynchronous Systems
IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
