Bundle event structures: a revised cpo approach

Authors:
Harald Fecher;Mila Majster-Cederbaum;Jinzhao Wu
Affiliations:
Fakultät für Mathematik and Informatik, Universität Mannheim, D7, 27, 68131 Mannheim, Germany;Fakultät für Mathematik and Informatik, Universität Mannheim, D7, 27, 68131 Mannheim, Germany;Fakultät für Mathematik and Informatik, Universität Mannheim, D7, 27, 68131 Mannheim, Germany
Venue:
Information Processing Letters
Year:
2002

Citing 8
Cited 4

Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Domain theory

Handbook of logic in computer science (vol. 3)
Metric semantics for true concurrent real time

Theoretical Computer Science
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
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
Extending LOTOS with Time: A True Concurrency Perspective

ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
A True Concurrency Semantics for ET-LOTOS

CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design

Action Refinement for Probabilistic Processes with True Concurrency Models

PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement

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)

Quantified Score

Hi-index	0.89

Visualization

Abstract

Bundle event structures equipped with a partial order ≤ have been used to give a true concurrency denotational semantics for LOTOS. This model has also been extended by time and stochastic information. Unfortunately it fails to yield a complete partial order (cpo) as we illustrate by an example.We propose a subset of all bundle event structures such that it forms a cpo. This subset is closed under the usual operators on bundle event structures. And as a consequence these operators are continuous. Therefore, this subset can be used to give a denotational semantics of LOTOS.