Bisimulation on speed: Worst-case efficiency

DOI10.1016/J.IC.2002.08.001zbMATH Open1074.68037OpenAlexW2062969942MaRDI QIDQ598200FDOQ598200

Walter Vogler, Gerald Lüttgen

Publication date: 6 August 2004

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2002.08.001

Recommendations

• scientific article; zbMATH DE number 1863169
• Bisimulation on speed: Lower time bounds
• Bisimulation and divergence
• Foundations of Software Science and Computation Structures
• Bisimulation on speed: a unified approach

zbMATH Keywords

Process algebraAsynchronous systemsBisimulationFaster-than relationWorst-case timing behavior

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• A theory of timed automata
• An operational semantics for timed CSP
• Structural operational semantics.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Calculi for synchrony and asynchrony
• Testing equivalences for processes
• Handbook of process algebra
• The algebra of timed processes, ATP: Theory and application
• A process algebra for timed systems
• Timing and causality in process algebra
• Real time process algebra
• Title not available (Why is that?)
• Behavioural abstraction in TCCS
• A theory of processes with durational actions
• Process Algebra
• A complete inference system for a class of regular behaviours
• The timed failures -- Stability model for CSP
• Title not available (Why is that?)
• Performance preorder and competitive equivalence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Process algebra with timing: Real time and discrete time
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
• An efficiency preorder for processes
• Faster asynchronous systems.
• Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
• Axiomatizing a fragment of PAFAS
• Fast asynchronous systems in dense time
• ``Closed interval process algebra versus ``interval process algebra
• An algebraic theory of multiple clocks
• Efficiency of Token-Passing MUTEX-Solutions — Some Experiments
• A complete axiomatization of timed bisimulation for a class of timed regular behaviours
• On guarded recursion

Cited In (10)

• Bisimulation on speed: a unified approach
• Lifting non-finite axiomatizability results to extensions of process algebras
• Bisimulation on speed: Lower time bounds
• Equivalence checking 40 years after: a review of bisimulation tools
• Performance of pipelined asynchronous systems
• Liveness of a mutex algorithm in a fair process algebra
• Priority and abstraction in process algebra
• Virtually timed ambients: a calculus of nested virtualization
• Fairness of components in system computations
• Foundations of Software Science and Computational Structures

Uses Software

• Esterel

This page was built for publication: Bisimulation on speed: Worst-case efficiency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q598200)