CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings. 1st ed. 1993

種類:

電子ブック

責任表示:

edited by Eike Best

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993

著者名:

• Best, Eike.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 715

ISBN:

9783540479680 [3540479686]    

注記:

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 structu
This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume contains 31 papers selected from 113submissions, together with four invited papers and two abstracts of invited talks. The invited talks are: "The lambda-calculus with multiplicities" (extended abstract) by G rard Boudol, "A pi-calculus semantics for an object-based design notation" by Cliff B. Jones, "Partial-order methods for temporal verification" by Pierre Wolper and Patrice Godefroid, "Non-interleaving process algebra" by Jos C.M. Baetenand Jan A. Bergstra, "Loop parallelization in the polytope model" by Christian Lengauer, and "Structured operational semantics for process algebras and equational axiom systems" (abstract) by Bard Bloom.

ローカル注記:

学内専用E-BOOKS (local access only)