LATE AND EARLY SEMANTICS COINCIDE FOR TESTING

Authors
INGOLFSDOTTIR A
Citation
A. Ingolfsdottir, LATE AND EARLY SEMANTICS COINCIDE FOR TESTING, Theoretical computer science, 146(1-2), 1995, pp. 341-349
Citations number
13
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
146
Issue
1-2
Year of publication
1995
Pages
341 - 349
Database
ISI
SICI code
0304-3975(1995)146:1-2<341:LAESCF>2.0.ZU;2-J
Abstract
Late and early operational semantics are given for CCS. Late and early testing are defined and it is shown that the derived preorders coinci de, contrary to what happens for bisimulation-like equivalences.