Communicating sequential processes
Communicating sequential processes
Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Observation equivalence as a testing equivalence
Theoretical Computer Science
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Communication and concurrency
Process algebra
Modelling nondeterministic concurrent processes with event structures
Fundamenta Informaticae
Proceedings on Theories of concurrency : unification and extension: unification and extension
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Towards an algebra for timed behaviours
Theoretical Computer Science
Converging towards a timed LOTOS standard
Computer Standards & Interfaces
Time and duration in noninterleaving concurrency
Fundamenta Informaticae
Flow models of distributed computations: three equivalent semantics for CCS
Information and Computation
Time-constrained buffer specifications in CSP + T and timed CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the nature of events: another perspective in concurrency
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
An operational semantics for timed CSP
Information and Computation
Performance analysis and true concurrency semantics
Theories and experiences for real-time system development
Durations for Truly-Concurrent Transitions
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
FDTs for open distributed systems, a retrospective and a prospective view
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Bundle event structures: a non-interleaving semantics for LOTOS
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
A constraint-oriented real-time process calculus
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Real-Time Behaviour of Asynchronous Agents
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
A Temporal Calculus of Communicating Systems
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Action Transducers and Timed Automata
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
A Dynamic Approach to Timed Behaviour
CONCUR '94 Proceedings of the Concurrency Theory
Layering of Real-Time Distributed Processes
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
On Specifying Real-Time Systems in a Causality-Based Setting
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
An Overview and Synthesis on Timed Process Algebras
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A Comparison of Additivity Axioms in Timed Transition Systems.
A Comparison of Additivity Axioms in Timed Transition Systems.
A Complete Finite Prefix for Process Algebra
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Journal of Computer Science and Technology
Operational Semantics for Real-Time Processes with Action Refinement
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Action Refinement for Real-Time Concurrent Processes with Urgency
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
This paper discusses a timed variant of a process algebra akin to LOTOS, baptized UPA, in a causality-based setting. Two timed features areincorporated—a delay function which constrains the occurrence time ofatomic actions and an urgency operator that forces (local or synchronized)actions to happen urgently. Timeouts are typical urgent phenomena. A noveltimed extension of event structures is introduced and used as a vehicle toprovide a denotational causality-based semantics for UPA. Recursion is dealtwith by using standard fixpoint theory. In addition, an operationalsemantics is presented based on separate time- and action-transitions thatis shown to be consistent with the event structure semantics. Aninterleaving semantics for UPA is immediately obtained from the operationalsemantics. By adopting this dual approach the well-developed timedinterleaving view is extended with a consistent timed partial order view anda comparison is facilitated of the partial order model and the variety ofexisting (interleaved) timed process algebras.