Program correctness over abstract data types, with error-state semantics

Deriving programs using generic algorithms

IBM Systems Journal

Abstract computability and algebraic specification

ACM Transactions on Computational Logic (TOCL)

A Hoare logic for dynamic networks of asychronously communicating deterministic processes

Theoretical Computer Science

Streams, Stream Transformers and Domain Representations

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Proof-Outlines for Threads in Java

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

A survey of semantic description frameworks for programming languages

ACM SIGPLAN Notices

Abstract versus concrete computation on metric partial algebras

ACM Transactions on Computational Logic (TOCL)

An assertion-based proof system for multithreaded Java

Theoretical Computer Science - Formal methods for components and objects

First and Second Order Recursion on Abstract Data Types

Fundamenta Informaticae

A Deductive Proof System for Multithreaded Java with Exceptions

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning

A sound and complete shared-variable concurrency model for multi-threaded Java programs

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems

Primitive recursive selection functions over abstract algebras

CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers

Verification of object-oriented programs: A transformational approach

Journal of Computer and System Sciences

Reasoning about recursive processes in shared-variable concurrency

Concurrency, Compositionality, and Correctness

A Deductive Proof System for Multithreaded Java with Exceptions

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning

First and Second Order Recursion on Abstract Data Types

Fundamenta Informaticae

CARTESIAN STREAM TRANSFORMER COMPOSITION

Fundamenta Informaticae