Download:
|
by Graeme Smith, Graeme Smith
2000: Proceedings of the 7th Australasian Conference on Parallel and Real-Time Systems
ftp://svrc.it.uq.edu.au/techreports/tr00-31.ps.gz
Add To MetaCart
Abstract:
Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript les are available via
Citations
|
1153
|
A Discipline of Programming
– Dijkstra
- 1976
|
|
993
|
The Z notation: a reference manual
– Spivey
- 1992
|
|
477
|
Conjoining specifications
– Abadi, Lamport
- 1995
|
|
416
|
Programming from Specifications
– Morgan
- 1990
|
|
189
|
Refinement Calculus: A Systematic Introduction
– Back, Wright
- 1998
|
|
113
|
Refinement calculus, part II: Parallel and reactive programs
– Back
- 1990
|
|
85
|
Tentative steps toward a development method for interfering programs
– Jones
- 1999
|
|
82
|
C.: \Duration Calculus : Logical Foundations
– Hansen, Zhou
- 1997
|
|
53
|
A Case-study in Timed Refinement: A Mine Pump
– Mahony, Hayes
- 1992
|
|
32
|
Programming from Speci
– Morgan
- 1990
|
|
31
|
Composing speci
– Abadi, Lamport
- 1993
|
|
28
|
The Specification and Refinement of Timed Processes
– Mahony
- 1992
|
|
19
|
Refining System Requirements to Program Specifications
– Olderog, Ravn, et al.
- 1996
|
|
18
|
Using the refinement calculus for dataflow processes
– Mahony
- 1994
|
|
9
|
Networks of predicate transformers
– Mahony
- 1995
|
|
7
|
Interference Resumed
– Jones
- 1991
|
|
7
|
Functional specification of real-time and hybrid systems
– Müller, Scholz
- 1997
|
|
4
|
Applying the Cogito program development environment to real-time system design
– Fidge, Kearney, et al.
- 1998
|
|
3
|
The Speci and Re of Timed Processes
– Mahony
- 1992
|
|
2
|
Using the re calculus for data processes
– Mahony
- 1994
|
|
1
|
A parallel operator for real-time processes with predicate transformer semantics
– Lermer
- 1999
|
|
1
|
A case-study in timed re A mine pump
– Mahony, Hayes
- 1992
|
|
1
|
Functional speci of real-time and hybrid systems
– Muller, Scholz
- 1997
|
|
1
|
Re system requirements to program speci
– Olderog, Ravn, et al.
- 1996
|
