11 citations · 33 across the 7 of their papers we have counts for
8 papers
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
José Proença, Luc Edixhoven
This tool paper presents Caos: a methodology and a programming framework for computer-aided design of structural operational semantics for formal models. This framework includes a…
Branching Pomsets for Choreographies
Luc Edixhoven, Sung-Shik Jongmans, José Proença +1
Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pom…
Featured Team Automata
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker +1
We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that communicate according to specified…
Implementing Hybrid Semantics: From Functional to Imperative
Sergey Goncharov, Renato Neves, José Proença
Hybrid programs combine digital control with differential equations, and naturally appear in a wide range of application domains, from biology and control theory to real-time softw…
Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
José Proença, Massimo Tivoli
This volume contains the proceedings of FOCLASA 2015, the 14th International Workshop on the Foundations of Coordination Languages and Self-Adaptive Systems. FOCLASA 2015 was held…
A Procedure for Splitting Processes and its Application to Coordination
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into…