Description: CONCUR'93 by Eike Best This volume contains the proceedings of CONCUR 93, thefourth in an annual series of conferences devoted to thestudy of concurrency. Bergstra, "Loop parallelization in thepolytope model" by Christian Lengauer, and "Structuredoperational semantics for process algebras and equationalaxiom systems" (abstract) by Bard Bloom. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description 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. Notes Springer Book Archives Table of Contents 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. Promotional Springer Book Archives Details ISBN3540572082 Series Lecture Notes in Computer Science Language English ISBN-10 3540572082 ISBN-13 9783540572084 Media Book Format Paperback Series Number 715 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Edited by Eike Best Author Eike Best Short Title CONCUR93 1993/E Pages 550 Subtitle 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings DOI 10.1007/b86028;10.1007/3-540-57208-2;10.1007/978-3-540-47968-0 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 1993 ed. Year 1993 Edition 1993rd Publication Date 1993-08-13 DEWEY 004 Illustrations X, 550 p. Audience Postgraduate, Research & Scholarly We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96278261;
Price: 118.26 AUD
Location: Melbourne
End Time: 2025-01-05T06:21:21.000Z
Shipping Cost: 24.93 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783540572084
Book Title: CONCUR'93
Number of Pages: 550 Pages
Language: English
Publication Name: CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Publication Year: 1993
Subject: Computer Science
Item Height: 235 mm
Item Weight: 1710 g
Type: Textbook
Author: Eike Best
Item Width: 155 mm
Format: Paperback
