Sciweavers

29 search results - page 1 / 6

» fm 1999

14

FM
1999
Springer

113views Formal Methods» more FM 1999»

Data Abstraction for CSP-OZ

13 years 8 months ago

Data Abstraction for CSP-OZ

Download www.cs.uni-paderborn.de

Heike Wehrheim

claim paper

Read More »

8

FM
1999
Springer

102views Formal Methods» more FM 1999»

csp2B: A Practical Approach to Combining CSP and B

13 years 8 months ago

csp2B: A Practical Approach to Combining CSP and B

Download eprints.ecs.soton.ac.uk

Michael J. Butler

claim paper

Read More »

13

FM
1999
Springer

103views Formal Methods» more FM 1999»

Verifying a Distributed Database Lookup Manager Written in Erlang

13 years 8 months ago

Verifying a Distributed Database Lookup Manager Written in Erlang

Download www.erlang.se

Thomas Arts, Mads Dam

claim paper

Read More »

7

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

13 years 8 months ago

Logspace Reducibility via Abstract State Machines

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

11

FM
1999
Springer

101views Formal Methods» more FM 1999»

Systems Development Using Z Generics

13 years 8 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 »