CONCUR '95 - Concurrency Theory : 6th International Conference, Philadelphia, PA, USA, August 1995 - Proceedings - libro usado

EAN (ISBN-13): 9783540602187
ISBN (ISBN-10): 3540602186
Tapa dura
Tapa blanda
Año de publicación: 1995
Editorial: Springer Berlin
564 Páginas
Peso: 0,842 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2008-04-21T08:12:00-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-03-31T02:32:42-06:00 (Mexico City)
ISBN/EAN: 9783540602187

ISBN - escritura alterna:
3-540-60218-6, 978-3-540-60218-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: proceedings, scott, smolka
Título del libro: august 6th, proceedings the 6th international conference, concurrency, philadelphia usa, conferences proceedings, notes, analytical mechanics, august 1995, nonlinear control mechanics

---

Datos del la editorial

Autor: Scott Smolka
Título: Lecture Notes in Computer Science; CONCUR '95 Concurrency Theory - 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Editorial: Springer; Springer Berlin
553 Páginas
Año de publicación: 1995-09-09
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 553 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Concurrency; Echtzeitsysteme; Mobile Processes; Mobile Prozesse; Model Checkcing; Modellprüfung; Nebenläufigkeit; Program Semantics; Programmsemantik; Real-Time Systems; calculus; complexity; logic; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Compiler und Übersetzer; EA

Local model checking games (extended abstract).- Compositional proof systems for model checking infinite state processes.- Compositional model checking of real time systems.- Checking bisimilarity for finitary ?-calculus.- The weak late ?-calculus semantics as observation equivalence.- The fixpoint-analysis machine.- Unique fixpoint induction for mobile processes.- A polymorphic type system for the polyadic ?-calculus.- Fibrational control structures.- Fully abstract models for nondeterministic regular expressions.- A Petri net semantics for ?-calculus.- A complete theory of deterministic event structures.- Characterizing behavioural congruences for Petri nets.- Verification of a distributed summation algorithm.- Confluence for process verification.- Axiomatisations of weak equivalences for De Simone languages.- A compositional trace-based semantics for probabilistic automata.- Acceptance trees for probabilistic processes.- Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering.- Towards a denotational semantics for ET-LOTOS.- Reachability analysis at procedure level through timing coincidence.- Faster asynchronous systems.- Fair testing.- Formal methods technology transfer: Impediments and innovation (abstract).- Decidability of simulation and bisimulation between lossy channel systems and finite state systems.- Checking regular properties of Petri nets.- Metric predicate transformers: Towards a notion of refinement for concurrency.- A refinement theory that supports both ’decrease of nondeterminism’ and ’increase of parallelism’.- Model checking and efficient automation of temporal reasoning.- Verifying parameterized networks using abstraction and regular languages.- On the complexity of branching modular modelchecking.- Axiomatising linear time mu-calculus.- A trace consistent subset of PTL.- Tutorial: Proving properties of concurrent systems with SPIN.- On sharing and determinacy in concurrent systems.- Process semantics of graph reduction.- Bisimulations for a calculus of broadcasting systems.- Delayed choice for process algebra with abstraction.- CTR: A calculus of timed refinement.- Temporal logic + timed automata: Expressiveness and decidability.