Actions speak louder than words Proving bisimilarity for context-free processes

Truth, modality and action

Davies, N

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:D174370 / BLDSC - British Library Do...

Actions, ramification and linear modalities

White, G.
Queen Mary and Westfield Coll., London (United Kingdom). Dept. of Computer Science

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:8717.7005(749) / BLDSC - British Libr...

Language and reality

Stroud-Drinkwater, C

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39511/82 / BLDSC - British Library ...

A polynominal algorithm for deciding bisimilarity of normed context-free processes

Hirshfield, Y.
Jerrum, M.
Moller, F
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(EU-ECS-LFCS--94-286) / BLD...

On the bisimulation proof method

Sangiorgi, D
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--94-299) / BLDSC ...

Processes in speech production

Collins, A.F

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:DX91572 / BLDSC - British Library Do...

Action, explanation and rationality

Zilhao, A.J.T.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN027369 / BLDSC - British Library D...

Conversational actions and discourse situations

Poesio, M.
Traum, D.R.
Human Communication Research Centre, Edinburgh (United Kingdom)

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:7752.144(92) / BLDSC - British Librar...

Abstraction and refinement of process actions

Streader, D.

January 2000

Available from British Library Document Supply Centre-DSC:DXN047129 / BLDSC - British Library Docume...

Lexical processing in monolinguals and bilinguals

Scarna, A.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN037047 / BLDSC - British Library D...

Testing equivalence as a bisimulation technique

Cleaveland, R.
Hennessy, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/89) / BLDSC - B...

Language, action and polity

Bowden, H

January 1984

SIGLEAvailable from British Library Document Supply Centre- DSC:D65981/86 / BLDSC - British Library ...

Discourse as planned action

Steel, S.W.D

January 1984

SIGLEAvailable from British Library Document Supply Centre- DSC:D66698/86 / BLDSC - British Library ...

Contextual mechanisms of text comprehension

Sharkey, A.J.C

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:D88511 / BLDSC - British Library Doc...

Priming of spoken word production

Wheeldon, L.R

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:D60849 / BLDSC - British Library Doc...

Truth, modality and action

Davies, N

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:D174370 / BLDSC - British Library Do...

Actions, ramification and linear modalities

White, G.
Queen Mary and Westfield Coll., London (United Kingdom). Dept. of Computer Science

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:8717.7005(749) / BLDSC - British Libr...

Language and reality

Stroud-Drinkwater, C

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39511/82 / BLDSC - British Library ...

A polynominal algorithm for deciding bisimilarity of normed context-free processes

Hirshfield, Y.
Jerrum, M.
Moller, F
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(EU-ECS-LFCS--94-286) / BLD...

On the bisimulation proof method

Sangiorgi, D
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--94-299) / BLDSC ...

Processes in speech production

Collins, A.F

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:DX91572 / BLDSC - British Library Do...

Action, explanation and rationality

Zilhao, A.J.T.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN027369 / BLDSC - British Library D...

Conversational actions and discourse situations

Poesio, M.
Traum, D.R.
Human Communication Research Centre, Edinburgh (United Kingdom)

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:7752.144(92) / BLDSC - British Librar...

Abstraction and refinement of process actions

Streader, D.

January 2000

Available from British Library Document Supply Centre-DSC:DXN047129 / BLDSC - British Library Docume...

Lexical processing in monolinguals and bilinguals

Scarna, A.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN037047 / BLDSC - British Library D...

Testing equivalence as a bisimulation technique

Cleaveland, R.
Hennessy, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/89) / BLDSC - B...

Language, action and polity

Bowden, H

January 1984

SIGLEAvailable from British Library Document Supply Centre- DSC:D65981/86 / BLDSC - British Library ...

Discourse as planned action

Steel, S.W.D

January 1984

SIGLEAvailable from British Library Document Supply Centre- DSC:D66698/86 / BLDSC - British Library ...

Contextual mechanisms of text comprehension

Sharkey, A.J.C

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:D88511 / BLDSC - British Library Doc...

Priming of spoken word production

Wheeldon, L.R

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:D60849 / BLDSC - British Library Doc...

Truth, modality and action

Davies, N

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:D174370 / BLDSC - British Library Do...

Actions, ramification and linear modalities

White, G.
Queen Mary and Westfield Coll., London (United Kingdom). Dept. of Computer Science

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:8717.7005(749) / BLDSC - British Libr...

Language and reality

Stroud-Drinkwater, C

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39511/82 / BLDSC - British Library ...

Actions speak louder than words Proving bisimilarity for context-free processes

Abstract

Extracted data

Actions speak louder than words Proving bisimilarity for context-free processes

Abstract

Extracted data

Related items

Related items