Event Algebra for Transition Systems Composition - Application to Timed Automata (original) (raw)
Related papers
Electronic Notes in Theoretical Computer Science, 1998
Theoretical Computer Science, 1988
A Graph Model for Basic Process Algebra
2005
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
Hybrid automata: from verification to implementation
International Journal on Software Tools for Technology Transfer, 2017
Refinement Mapping for (Discrete Event) System Theory
1996
Reducing Quasi-Equal Clocks in Networks of Timed Automata
Lecture Notes in Computer Science, 2012
An Algorithmic approach for abstracting transient states in timed systems
International Journal of Advanced Computer Science and Applications, 2016
A Stochastic Automata Model and its Algebraic Approach
Stp, 1997
On the expressibility of discrete event specified systems
Lecture Notes in Computer Science, 1996
Timed Automata Approach to Distributed and Fault Tolerant System Verification
2005
Advanced Hierachical Event-Stream Model
2008 Euromicro Conference on Real-Time Systems, 2008
Parametrized automata simulation and application to service composition
Yannick Chevalier, Michael Rusinowitch
Journal of Symbolic Computation, 2015
A Canonical Algebra of Open Transition Systems
Formal Aspects of Component Software, 2021
Inferring event stream abstractions
Formal Methods in System Design, 2018
Fresh-variable automata for service composition
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11, 2011
Operator Patterns for Analysis of Composite Events in Timed Automata
IEEE Real-Time Systems Symposium, 2003
Compositional Verification of Parameterised Timed Systems
Lecture Notes in Computer Science, 2015
Temporal Synthesis for Bounded Systems and Environments
Semantics for Classical AUTOMATH and Related Systems
Information and Computation/information and Control - IANDC, 1983
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra
Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, 2004
Mapping OWL-S Process Model to Timed Automata
Journal of Information Technology Research
Event Stream Calculus for Schedulability Analysis
IFIP Advances in Information and Communication Technology, 2009
Constraint Logic Programming for Reasoning About Discrete Event Processes
The Journal of Logic and Algebraic Programming, 1991