Muutke küpsiste eelistusi

E-raamat: Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995

Edited by
  • Formaat: PDF+DRM
  • Sari: Workshops in Computing
  • Ilmumisaeg: 08-Mar-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9781447130789
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995Suurem pilt
  • Formaat: PDF+DRM
  • Sari: Workshops in Computing
  • Ilmumisaeg: 08-Mar-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9781447130789
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R. Olderog and M. Schenke - and all papers which were submitted and accepted for presentation. Concurrency Theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. The aim of this workshop was to present and compare different formalisms and results in Concurrency Theory. STRICT was organized by the Humboldt-University Berlin and the ESPRIT Basic Research Working Group CALIBAN. Original papers had been sought from all scientists in the field of Concurrency Theory. The Programme Committee selected twenty contributions with various different topics, including Petri Nets, Process Algebras, Distributed Algorithms, Formal Semantics, and others. I am grateful to the Programme Committee and to the other referees for the careful evaluation of the submitted papers.

Muu info

Springer Book Archives
The Three Dimensions of Semantics.- CALIBAN - Esprit Basic Research WG
6067.- Design of Real-Time Systems: Interface Between Duration Calculus and
Program Specifications.- Conformance: A Precongruence Close to Bisimilarity.-
On the Synchronic Structure of Transition Systems.- An M-Net Semantics of
B(PN)2.- Graphs for Generalized Traces.- Orbits, Half-Frozen Tokens and the
Liveness of Weighted Circuits.- An Observational Semantics for Linda.-
Refinement and Recursion in a High Level Petri Box Caluculus.- Sequentiality
by Linear Implication and Universal Quantification.- Linear Space Algorithm
for On-Line Detection of Global Predicates.- A Simple Decision Method for the
Linear Time Mu-Calculus.- Message Passing Mutex.- Possible and Guaranteed
Concurrency in CSP.- Metric Completion Versus Ideal Completion.- Keeping
Track of the Latest Gossip in Message-Passing Systems.- A Local Presentation
of Synchronizing Systems.- On Well-Formedness Analysis: The Case of
Deterministic Systems of Sequential Processes.- An Event-Based SOS for a
Language with Refinement.- On the Computation of Place Invariants for
Algebraic Petri Nets.- Failure-Based Equivalences Are Faster Than Many
Believe.- Partial Order Semantics and Weak Fairness.- Author Index.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97814471307892e.html
Märksõnad: