CONCUR '91 als Buch (kartoniert)
PORTO-
FREI

CONCUR '91

2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings.…
Buch (kartoniert)
CONCUR'91 is the second international conference on
concurrency theory, organized in association with the NFI
project Transfer. It is a sequel to the CONCUR'90
conference. Its basic aim is to communicate ongoing … weiterlesen
Buch (kartoniert)

106,99 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von 5 bis 7 Werktagen
CONCUR '91 als Buch (kartoniert)

Produktdetails

Titel: CONCUR '91
Autor/en: C. M. Baeten, Jan F. Groote

ISBN: 3540544305
EAN: 9783540544302
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings.
Auflage 1991.
Paperback.
Sprache: Englisch.
Herausgegeben von Jos C. M. Baeten, Jan F. Groote
Springer Berlin Heidelberg

14. August 1991 - kartoniert - 560 Seiten

Beschreibung

CONCUR'91 is the second international conference on
concurrency theory, organized in association with the NFI
project Transfer. It is a sequel to the CONCUR'90
conference. Its basic aim is to communicate ongoing work in
concurrency theory. This proceedings volume contains 30
papers selected for presentation at the conference (from 71
submitted) together with four invited papers and abstracts
of the other invited papers. The papers are organized into
sections on process algebras, logics and model checking,
applications and specification languages, models and net
theory, design and real-time, tools and probabilities, and
programming languages. The proceedings of CONCUR'90 are
available asVolume 458 of Lecture Notes in Computer
Science.

Inhaltsverzeichnis

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.

Mehr aus dieser Reihe

zurück
Artificial Intelligence in Music, Sound, Art and Design
Buch (kartoniert)
Internet Science
Buch (kartoniert)
Policy-Based Autonomic Data Governance
Buch (kartoniert)
Canadian AI 2019
Buch (kartoniert)
Algorithms for Computational Biology
Buch (kartoniert)
vor
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.