Semantics of sequential and parallel programs

Incremental execution of guarded theories

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski

Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems

Advances in exception handling techniques

Completeness of the Owicki-Gries System for Parameterized Parallel Programs

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium

An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions

Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing

Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems

Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)

Computer science students' difficulties with proofs by induction: an exploratory study

Proceedings of the 44th annual Southeast regional conference

Relational Semantics Revisited

Electronic Notes in Theoretical Computer Science (ENTCS)

Explicit fair scheduling for dynamic control

Concurrency, Compositionality, and Correctness

Fairness for dynamic control

TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems