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 application/pdf.
Filters
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
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 [10] ), whose configurations are those of P, whose transitions are the one-state ...
doi:10.1007/978-3-540-68863-1_4
fatcat:t2ehmpkiubhonfnxkdya3oqphm
Validating Behavioral Component Interfaces in Rewriting Logic
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
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