4 citations · 6 across the 6 of their papers we have counts for
3 papers · 1 filter
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
Luca Bernardinello, Irina Lomazova, Roman Nesterov +1
In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is…
Between quantum logic and concurrency
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent p…
Orthomodular Lattices Induced by the Concurrency Relation
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
We apply to locally finite partially ordered sets a construction which associates a complete lattice to a given poset; the elements of the lattice are the closed subsets of a closu…