Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Communicating sequential processes
Communicating sequential processes
Modeling concurrency with partial orders
International Journal of Parallel Programming
Proceedings of the international conference on Mathematical foundations of programming semantics
Galois connections and computer science applications
Proceedings of a tutorial and workshop on Category theory and computer programming
Predicate calculus and program semantics
Predicate calculus and program semantics
On the shape of mathematical arguments
On the shape of mathematical arguments
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Lagois connections: a counterpart to Galois connections
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics. Part II : lambda calculus and domain theory: lambda calculus and domain theory
Towards a design calculus for CSP
Science of Computer Programming - Special issue on mathematics of program construction
Algebra of programming
Relational methods in computer science
Relational methods in computer science
Computation calculus bridging a formalization gap
Science of Computer Programming - Special issue on mathematics of program construction
A calculational approach to reactive systems
Science of Computer Programming - Special issue on mathematics of program construction
Traces, Histories, Graphs: Instances of a Process Monoid
Proceedings of the Mathematical Foundations of Computer Science 1984
Some Very Compositional Temporal Properties
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Proceedings of the Second International Conference on Mathematics of Program Construction
Formal Derivation of CSP Programs From Temporal Specifications
MPC '95 Mathematics of Program Construction
On some galois connection based abstractions for the mu-calculus
FM'05 Proceedings of the 2005 international conference on Formal Methods
| Hi-index | 0.00 |