Sciweavers

FAC
1998
80views more  FAC 1998»
13 years 11 months ago
Partiality and Nondeterminacy in Program Proofs
Joseph M. Morris, Alexander Bunkenburg
FAC
1998
111views more  FAC 1998»
13 years 11 months ago
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
Henri Korver, M. P. A. Sellink
FAC
1998
64views more  FAC 1998»
13 years 11 months ago
Formalization of Time and Space
Eric C. R. Hehner
FAC
1998
68views more  FAC 1998»
13 years 11 months ago
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning
Jürgen Dingel, David Garlan, Somesh Jha, Davi...