Cantitate/Preț
Produs
Total produse
Vezi coșul
CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings de Eike Best

CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings: Lecture Notes in Computer Science, cartea 715

Editat de Eike Best
en Limba Engleză Paperback – 13 aug 1993
This volume contains the proceedings of CONCUR '93, thefourth in an annual series of conferences devoted to thestudy of concurrency. The basic aim of the CONCURconferences is to communicate advances in concurrency theoryand applications.The volume contains 31 papers selected from 113submissions,together with four invited papers and two abstracts ofinvited talks. The invited talks are: "The lambda-calculuswith multiplicities" (extended abstract) by G rard Boudol,"A pi-calculus semantics for an object-based designnotation" by Cliff B. Jones, "Partial-order methods fortemporal verification" by Pierre Wolper and PatriceGodefroid, "Non-interleaving process algebra" by Jos C.M.Baetenand Jan A. Bergstra, "Loop parallelization in thepolytope model" by Christian Lengauer, and "Structuredoperational semantics for process algebras and equationalaxiom systems" (abstract) by Bard Bloom.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32731 lei

Preț vechi: 40913 lei
-20% Nou

Puncte Express: 491
Preț estimativ în valută:
6268€ • 6783$ • 5225£

Carte tipărită la comandă

Livrare economică 09-23 decembrie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540572084
ISBN-10: 3540572082
Pagini: 560
Ilustrații: X, 550 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.78 kg
Ediția:1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

The lambda-calculus with multiplicities.- A multiset semantics for the pi-calculus with replication.- Model checking mobile processes.- A practical technique for process abstraction.- Modular completeness for Communication Closed Layers.- The linear time — Branching time spectrum II.- A classification of models for concurrency.- On the ill-timed but well-caused.- On the reduction of chocs bisimulation to ?-calculus bisimulation.- A theory of bisimulation for the ?-calculus.- Bisimulation equivalence is decidable for basic parallel processes.- A pi-calculus semantics for an object-based design notation.- Programming with broadcasts.- Interpreting broadcast communication in SCCS.- Proof systems for message-passing process algebras.- Refinement and decomposition of value-passing action systems.- Partial-order methods for temporal verification.- Model construction for implicit specifications in modal logic.- Branching time temporal logic and amorphous tree automata.- A generalized event structure for the Muller unfolding of a safe net.- Domains of higher-dimensional automata.- Non interleaving process algebra.- Quiescence, fairness, testing, and the notion of implementation.- Two fully abstract models for UNITY.- Transformations preserving properties and properties preserved by transformations in fair transition systems (extended abstract).- Minimal memory schedules for dataflow networks.- Networks of real-time processes.- Loop parallelization in the polytope model.- ACSR: An algebra of communicating shared resources with dense time and priorities.- An Elimination Theorem for regular behaviours with integration.- A linear local model checking algorithm for CTL.- Local event structures and Petri nets.- A congruence theorem for structured operational semantics withpredicates.- From CML to process algebras.- Types for dyadic interaction.- Principal typing schemes in a polyadic ?-calculus.- Structured operational semantics for process algebras and equational axiom systems.