Fully Abstract Models for Communicating Processes with respect to Weak Linear Semantics with Divergence Eiichi HORITA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/01/25 Vol. E75-DNo. 1 ;
pp. 64-77 Type of Manuscript: Special Section PAPER (Special Section on Theoretical Foundations of Computing) Category: Keyword: concurrency, operational semantics, compositionality, correctness, full abstractness,