#### Filter Results:

- Full text PDF available (12)

#### Publication Year

2000

2016

- This year (0)
- Last 5 years (2)
- Last 10 years (12)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Robi Malik, David Streader, Steve Reeves
- Int. J. Found. Comput. Sci.
- 2006

This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discreteâ€¦ (More)

- Steve Reeves, David Streader
- Electr. Notes Theor. Comput. Sci.
- 2008

We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show explicitly how fiveâ€¦ (More)

- Steve Reeves, David Streader
- Electr. Notes Theor. Comput. Sci.
- 2008

In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition raised, and gaveâ€¦ (More)

- Robi Malik, David Streader, Steve Reeves
- ATVA
- 2004

This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discreteâ€¦ (More)

- Steve Reeves, David Streader
- Formal Aspects of Computing
- 2008

In this paper, we give simple example abstract data types, with atomic operations, that are related by data refinement under a definition used widely in the literature, but these same abstract dataâ€¦ (More)

- Steve Reeves, David Streader
- ICFEM
- 2003

From what point of view is it reasonable, or possible, to refine a one place buffer into a two place buffer? In order to answer this question we characterise refinement based on substitution inâ€¦ (More)

- Petra Malik, Robi Malik, David Streader, Steve Reeves
- 12th IEEE International Conference on Engineeringâ€¦
- 2007

This paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes theâ€¦ (More)

- Steve Reeves, David Streader
- ICTAC
- 2004

The operational definition of observational congruence in C CS and ACP can be split into two parts: one, the definition of an obser vational semantics (i.e. abstraction); and two, the definition of aâ€¦ (More)

- David Streader
- 2006

We transfer a process algebraic notion of refinement to the B method by using the well-known bridge between the relational semantics underlying the B machines and the labelled transition systemâ€¦ (More)

State-based and process-based formalisms each come with their own distinct set of assumptions and properties. To combine them in a useful way it is important to be sure of these assumptions in orderâ€¦ (More)