A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
In: IFIP Formal Methods for Open Object-based Distributed Systems (FMOODS '08), Oslo, Norway, June 2008. ... m from id ) → [Y ]i Such atomic propositions and labeling function can, for example, be equationally defined in a conservative ("protecting") extension of the protocol theory P (see for e.g., [10 ... The atomic propositions AP , plus the choice of the sort Conf as the sort of configurations define a Kripke structure K(P) (see  ), whose configurations are those of P, whose transitions are the one-state ...doi:10.1007/978-3-540-68863-1_4 fatcat:t2ehmpkiubhonfnxkdya3oqphm
In Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008), pages 201-219, 2008. [SPH10] Jan Schäfer and Arnd Poetzsch-Heffter. ... A short version has been published in the proceedings: Norsk Informatikkkonferanse (NIK 2007) 19-21 Nov, Oslo, Norway, Tapir Akademisk forlag 2007. ...doi:10.1016/j.entcs.2005.12.069 fatcat:chb5rxirp5afld7emzxe6pdlim