Sciweavers

29 search results - page 1 / 6

» fm 1999

17

FM
1999
Springer

113views Formal Methods» more FM 1999»

Data Abstraction for CSP-OZ

13 years 10 months ago

Data Abstraction for CSP-OZ

Download www.cs.uni-paderborn.de

Heike Wehrheim

claim paper

Read More »

11

FM
1999
Springer

102views Formal Methods» more FM 1999»

csp2B: A Practical Approach to Combining CSP and B

13 years 10 months ago

csp2B: A Practical Approach to Combining CSP and B

Download eprints.ecs.soton.ac.uk

Michael J. Butler

claim paper

Read More »

19

FM
1999
Springer

103views Formal Methods» more FM 1999»

Verifying a Distributed Database Lookup Manager Written in Erlang

13 years 10 months ago

Verifying a Distributed Database Lookup Manager Written in Erlang

Download www.erlang.se

Thomas Arts, Mads Dam

claim paper

Read More »

11

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

13 years 10 months ago

Logspace Reducibility via Abstract State Machines

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

15

FM
1999
Springer

101views Formal Methods» more FM 1999»

Systems Development Using Z Generics

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