Groote / Baeten | CONCUR '91 | Buch | 978-3-540-54430-2 | sack.de

Buch, Englisch, Band 527, 549 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1720 g

Reihe: Lecture Notes in Computer Science

Groote / Baeten

CONCUR '91

2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
1991
ISBN: 978-3-540-54430-2
Verlag: Springer Berlin Heidelberg

2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings

Buch, Englisch, Band 527, 549 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1720 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-54430-2
Verlag: Springer Berlin Heidelberg


CONCUR '91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. This proceedings volume contains 4 invited and 30 selected papers on all aspects of concurrency.
Groote / Baeten CONCUR '91 jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


Formal techniques for parallel object-oriented languages.- Causal models for rational algebraic processes.- Action and state-based logics for process algebras.- A tool set for deciding behavioral equivalences.- Causality based models for the design of concurrent systems.- Modal logics for mobile processes.- Towards a design calculus for communicating programs.- A theory of testing for ACP.- Real space process algebra.- The failure of failures in a paradigm for asynchronous communication.- Embedding as a tool for language comparison: On the CSP hierarchy.- A conditional operator for CCS.- Algebraic formulations of trace theory.- Compositional synthesis of live and bounded free choice Petri nets.- The observation algebra of spatial pomsets.- Synchrony loosening transformations for interacting processes.- A compositional model for layered distributed systems.- Process algebra with guards.- Model checking and modular verification.- Geometric logic, causality and event structures.- Extended Horn clauses: the framework and some semantics.- Action systems and action refinement in the development of parallel systems.- Invariant semantics of nets with inhibitor arcs.- Abstract timed observation and process algebra.- Simulations between specifications of distributed systems.- Using truth-preserving reductions to improve the clarity of kripke-models.- Completeness in real time process algebra.- Distributed CCS.- Time-constrained automata.- Relating processes with respect to speed.- Testing, betting and timed true concurrency.- Fairness in models with true concurrency.- Efficient verification of determinate processes.- Experiments on processes with backtracking.- Some finite-graph models for process algebra.- A method for the development of totally correct shared-state parallel programs.- Reduced labelled transition systems save verification effort.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.