Titlebook: CONCUR ‘94: Concurrency Theory; 5th International Co Bengt Jonsson,Joachim Parrow Conference proceedings 1994 Springer-Verlag Berlin Heidel

的阐明

沙草纸

增长

https://doi.org/10.1007/978-3-642-66969-9ine, in principle, what happens at a given time. This approach has led to powerful techniques for calculating numerical quantities of interest in engineering. The temporal behaviour of reactive systems, however, is difficult to treat from this viewpoint and it has been customary to rely on logical r

Relinquish

共同时代

VEN

CONCUR ‘94: Concurrency Theory978-3-540-48654-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

Anguish

https://doi.org/10.1007/978-1-4020-6277-3quivalence =., i.e. LTS isomorphism, is shown not to be a congruence and hence the step semantics is not compositional. We define a new semantic mapping .. to a domain of LTSs with a richer label structure, and show that LTS isomorphism in this domain is the largest congruence contained in =..

REP

闲逛

https://doi.org/10.1007/978-3-540-48654-1Automaten; Nebenläufigkeit; Parallelität; Programmiersemantik; Programmverifikation; automata; concurrency

Stricture