Reo: a channel-based coordination model for component composition

• Concurrent Rules Machines

  2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  2

  citations
• Parallel Composition of Constraint Automata

  2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  0

  citations
• Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  0

  citations
• Reasoning about distributed reconfigurable systems

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  6

  citations
• Enhanced Transformation of BPMN Models with Cancellation Features

  2022 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  1

  citations
• Local Reasoning about Parameterized Reconfigurable Distributed Systems

  2021 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

  0

  citations
• Compositional workflow modeling with priority constraints

  2020 Science of Computer Programming article Business, Management and Accounting Business Process Modeling and Analysis Open access

  2

  citations
• Soft constraint automata with memory

  2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

  5

  citations
• Simulation of Hybrid Reo Connectors

  2020 conference-paper Computer Science Formal Methods in Verification

  3

  citations

9 results