On Resource-Sensitive Timed Component Connectors

DOI10.1007/978-3-540-72952-5_19zbMath1202.68070OpenAlexW2116616673MaRDI QIDQ5428917

Sun Meng, Farhad Arbab

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

zbMATH Keywords

CoordinationSimulationConstraint AutomataResource-Sensitive Timed Constraint Automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Channel-based coordination via constraint satisfaction

Uses Software

• Reo

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

This page was built for publication: On Resource-Sensitive Timed Component Connectors