On the consistency of 'truly concurrent' operational and denotational semantics

Publisher Website

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/lics.1988.5112

Abstract

No abstract available

Keywords

This publication has 0 references indexed in Scilit: