Volume 12; Issue 5

Formal Aspects of Computing

Volume 12; Issue 5
1

Symbolic Approaches to Probability Distributions in Process Algebra

C. Tofts
Journal:
Formal Aspects of Computing
Year:
2000
Language:
english
File:
PDF, 245 KB
english, 2000
2

Encoding, Decoding and Data Refinement

Ralph-Johan Back, Joakim von Wright
Journal:
Formal Aspects of Computing
Year:
2000
Language:
english
File:
PDF, 229 KB
english, 2000
3

Conformance Tests for Real-Time Systems with Timed Automata Specifications

Rachel Cardell-Oliver
Journal:
Formal Aspects of Computing
Year:
2000
Language:
english
File:
PDF, 174 KB
english, 2000
4

Interfaces for Refining Recursion and Procedures

Mark Staples
Journal:
Formal Aspects of Computing
Year:
2000
Language:
english
File:
PDF, 175 KB
english, 2000