A Framework for Formal Reasoning about Open Distributed Systems (1999)

Cached

Download Links

by Lars-Ake Fredlund , Dilian Gurov
Venue:In Proc. ASIAN'99, Lecture Notes in Computer Science
Citations:4 - 3 self

Documents Related by Co-Citation

18 Verifying a Distributed Database Lookup Manager Written in Erlang – Thomas Arts, Mads Dam - 1999
260 Results on the propositional -calculus – D Kozen - 1983
19 Toward Parametric Verification of Open Distributed Systems – Mads Dam, Lars-åke Fredlund, Dilian Gurov - 1998
6 A structural approach to operational semantics (Aarhus notes – Gordon D Plotkin - 1981
4 Towards a semantics for Erlang. Unpublished manuscript – L-a Fredlund - 1999
16 Proving Properties of Dynamic Process Networks – Mads Dam - 1998
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
5 System description: Veri of distributed Erlang programs – T Arts, M Dam, L-a Fredlund, D Gurov - 1998
2 Veri of Erlang Programs: Factoring out the Side-eect-free Fragment – D Gurov, G Chugunov - 2000
8 Toward Parametric Veri of Open Distributed Systems – A Fredlund, D Gurov - 1998
20 Verification of Erlang programs using abstract interpretation and model checking – F Huch - 1999
2 The EVT Erlang Verification Tool – Thomas Noll, Lars-Åke Fredlund, Lars--ake Fredlund, Dilian Gurov
27 A note on model checking the modal - calculus – G Winskel - 1989
19 A framework for reasoning about Erlang code – L Fredlund - 2001
1 Verifying sequential Erlang programs – G Chugunov, L-a Fredlund - 2000
4 System Description: Verification of Distributed Erlang Programs – Thomas Arts, Mads Dam, Lars-åke Fredlund, Dilian Gurov - 1998
144 Semantics of programming languages – C Gunter - 1992
24 Finiteness is Muineffable – David Michael Ritchie Park - 1976
3 Compositional veri of CCS processes – M Dam, D Gurov - 2000