On Resource-Sensitive Timed Component Connectors
From MaRDI portal
Publication:5428917
DOI10.1007/978-3-540-72952-5_19zbMath1202.68070MaRDI QIDQ5428917
Publication date: 28 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72952-5_19
68Q45: Formal languages and automata
68M14: Distributed systems
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- A calculus and logic of resources and processes
- A theory of timed automata
- Modeling component connectors in Reo by constraint automata
- Conformance Testing Relations for Timed Systems
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
- Reo: a channel-based coordination model for component composition
- Formal Modeling and Analysis of Timed Systems