Barton

Barton

External collaborator

Publications

Simula-affiliated publications listed

1988

Book Chapters

S. Gjessing

Invariants in Systems of Processes and Monitors

Distributed Computing