Sciweavers

29 search results - page 1 / 6

» fm 1999

33

FM
1999
Springer

113views Formal Methods» more FM 1999»

Data Abstraction for CSP-OZ

14 years 3 months ago

Data Abstraction for CSP-OZ

Download www.cs.uni-paderborn.de

Heike Wehrheim

claim paper

Read More »

28

FM
1999
Springer

102views Formal Methods» more FM 1999»

csp2B: A Practical Approach to Combining CSP and B

14 years 3 months ago

csp2B: A Practical Approach to Combining CSP and B

Download eprints.ecs.soton.ac.uk

Michael J. Butler

claim paper

Read More »

33

FM
1999
Springer

103views Formal Methods» more FM 1999»

Verifying a Distributed Database Lookup Manager Written in Erlang

14 years 3 months ago

Verifying a Distributed Database Lookup Manager Written in Erlang

Download www.erlang.se

Thomas Arts, Mads Dam

claim paper

Read More »

18

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

14 years 3 months ago

Logspace Reducibility via Abstract State Machines

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

26

FM
1999
Springer

101views Formal Methods» more FM 1999»

Systems Development Using Z Generics

14 years 3 months ago

Systems Development Using Z Generics

Download www-users.cs.york.ac.uk

Fiona Polack, Susan Stepney

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »