Vor Ort
Merkzettel Warenkorb
  • Produktbild: CONCUR '95 Concurrency Theory
  • Produktbild: CONCUR '95 Concurrency Theory
Band 962

CONCUR '95 Concurrency Theory 6th International Conference, Philadelphia, PA, USA, August 21-24,1995. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.09.1995

Herausgeber

Scott Smolka

Verlag

Springer Berlin

Seitenzahl

553

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

722 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60218-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.09.1995

Herausgeber

Scott Smolka

Verlag

Springer Berlin

Seitenzahl

553

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

722 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60218-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: CONCUR '95 Concurrency Theory
  • Produktbild: CONCUR '95 Concurrency Theory
  • 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 model checking.- 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.