3 Result(s)
within
Chapter
Conference Paper
Hernán Melgratti
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
-
Chapter and Conference Paper
A Formal Analysis of the Global Sequence Protocol
The Global Sequence Protocol (GSP) is an operational model for replicated data stores, in which updates propagate asynchronously. We introduce the GSP-calculus as a formal model for GSP. We give a formal accou...
-
Chapter and Conference Paper
Resolving Non-determinism in Choreographies
Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic impleme...
-
Chapter and Conference Paper
Connector Algebras, Petri Nets, and BIP
In the area of component-based software architectures, the term connector has been coined to denote an entity (e.g. the communication network, middleware or infrastructure) that regulates the interaction of indep...
