A modal characterisation of observable machine-behaviour

Publisher Website

1 January 1981

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 25-34
https://doi.org/10.1007/3-540-10828-9_52

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980
Computable nondeterministic functions
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978