Overview

Full Product Details

Author:   Walter R. Cleaveland
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1992 ed.
Volume:   630
Dimensions:   Width: 15.50cm , Height: 3.00cm , Length: 23.50cm
Weight:   1.820kg
ISBN:  

9783540558224

ISBN 10:   3540558225
Pages:   586
Publication Date:   12 August 1992
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

The polyadic ?-calculus.- Testing equivalence for mobile processes.- Testing equivalence for Petri Nets with action refinement: Preliminary report.- The problem of weak bisimulation up to .- On the uniqueness of fixpoints modulo observation congruence.- Verification of parallel systems via decomposition.- Interface refinement in reactive systems.- Concurrent testing of processes.- A theory of processes with localities.- Model checking for context-free processes.- Bisimulation equivalence is decidable for all context-free processes.- Distributed bisimularity is decidable for a class of infinite state-space systems.- How vital is liveness? Verifying timing properties of reactive and hybrid systems.- Preserving specific properties in program development.- Sometimes `some' is as good as `all'.- The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic.- Propositional temporal logics and equivalences.- The duality of time and information.- Homology of higher dimensional automata.- Posets for configurations!.- On the semantics of Petri Nets.- Structural operational specifications and trace automata.- At-most-once message delivery A case study in algorithm verification.- Games I/O automata play.- Minimization of timed transition systems.- Using CSP to verify a timed protocol over a fair medium.- Timed Ethernet: Real-time formal specification of Ethernet.- Implementing LOTOS specifications by communicating state machines.- Discrete time process algebra.- The silent step in time.- Action transducers and timed automata.- Compositional verification of probabilistic processes.- Axiomatizing probabilistic processes: ACP with generative probabilities.- Embeddings among concurrent programming languages.- Logic of trace languages.- Multiway synchronization verified with coupled simulation.- Programming in a general model of synchronization.- Operational and compositional semantics of synchronous automaton compositions.- Towards a theory of actor computation.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions