Communicating sequential processes
Communicating sequential processes
Algebraic theory of processes
Process algebra
CCS + time = an interleaving model for real time systems
Proceedings of the 18th international colloquium on Automata, languages and programming
A temporal calculus of communicating systems
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Theoretical Computer Science
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
An efficiency preorder for processes
Acta Informatica
Theoretical Computer Science
The algebra of timed processes, ATP: theory and application
Information and Computation
An operational semantics for timed CSP
Information and Computation
A process algebra for timed systems
Information and Computation
A theory of processes with durational actions
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
A complete axiomatization of timed bisimulation for a class of timed regular behaviours
Theoretical Computer Science
Timing and causality in process algebra
Acta Informatica
The timed failures-stability model for CSP
Theoretical Computer Science
Fast asynchronous systems in dense time
Theoretical Computer Science
“Closed interval process algebra” versus “Interval process algebra”
Acta Informatica
Distributed Algorithms
Communication and Concurrency
Handbook of Process Algebra
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
Behavioural Abstraction in TCCS
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
An Algebraic Theory of Multiple Clocks
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract)
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Relating Processes With Respect to Speed
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
The Problem of ``Weak Bisimulation up to''
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
The NCSU Concurrency Workbench
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
An Algebraic Theory of Process Efficiency
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations
APAQS '01 Proceedings of the Second Asia-Pacific Conference on Quality Software
Information and Computation
Fairness of components in system computations
Theoretical Computer Science - Expressiveness in concurrency
Bisimulation on speed: a unified approach
Theoretical Computer Science
Priority and abstraction in process algebra
Information and Computation
Bisimulation on speed: a unified approach
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Hi-index | 0.00 |
This paper introduces a novel (bi)simulation-based faster-than preorder which relates asynchronous processes, where the relative speeds of system components are indeterminate, with respect to their worst-case timing behavior. The study is conducted for a conservative extension of the process algebra CCS, called TACS, which permits the specification of upper time bounds on action occurrences. TACS complements work in plain process algebras which compares asynchronous processes with respect to their functional reactive behavior only, and in timed process algebras which focus on analyzing synchronous processes. The most unusual contribution is in showing that the proposed faster-than preorder coincides with several other preorders, two of which consider the absolute times at which actions occur in system runs. The paper also develops the semantic theory of TACS by studying congruence properties, equational laws, and abstractions from internal actions. Two examples, one dealing with mail delivery and one relating two implementations of a simple storage system, testify to the practical utility of the new theory.