Rick Erkens: Up-to Techniques for Branching Bisimulation
–
Branching bisimilarity is a notion of behavioral equivalence between processes. To prove that two processes are branching bisimilar one should provide a relation (a set of pairs) containing the two processes, such that the relation …continue reading
Erik de Vink: Extending Paradigm with Data (Joint work with Luuk Groenewegen and Jan Verschuren)
–
We discuss an extension of the coordination modelling language Paradigm. The extension is geared towards data-dependent interaction among components, where the coordination is influenced by possibly distributed data. The approach is illustrated by the well-known …continue reading