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

Moderate

JEER

Regularity of BPA-Systems is Decidable,ive composition, sequential composition and guarded recursion. A system is regular if the interpretations of all process variables defined in the system have finitely many states. We present an effective method to transform a BPA specification into a linear specification whenever possible.

MERIT

尖

https://doi.org/10.1007/978-1-4020-6277-3Geometry of Interaction is based on the idea that the ultimate explanation of logical rules is through the cut-elimination procedure. This is achieved by means of a pure geometric interpretation of normalization:

Rustproof

Arrhythmia

Ancillary

中止

Model-Based Verification Methods and Tools (Abstract),We describe established verification methods in the framework of communicating concurrent systems, focusing on model-based approaches implemented by existing tools for automatic verification.

逢迎春日

Hierarchical Models of Synchronous Circuits (Abstract),We seek a behavioral model of synchronous circuit operation which generalizes Mealy machines in several ways:

友好

0302-9743 August 1994..In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently