Operational Semantics of the Model of Concurrency and Communication Language

Abstract

Publication
Report: INRIA
Date