A behavioural theory of first-order CML
type: Item
instance of: scholarly article
title: A behavioural theory of first-order CML
zbMATH Open document ID: 0915.68111
DOI: 10.1016/S0304-3975(98)00049-8
author: William Ferreira
author: Matthew Hennessy
published in: Theoretical Computer Science
publication date: 1999-04-28T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1281124
zbMATH Keywords: CML
zbMATH Keywords: values
zbMATH Keywords: operational semantics
zbMATH Keywords: testing semantics
zbMATH Keywords: denotational model
zbMATH Keywords: full abstraction
zbMATH Keywords: monads
describes a project that uses: ML
describes a project that uses: Facile
MaRDI profile type: Publication
cites work: Q4470506
cites work: An algebra for process creation
cites work: Process Algebra
cites work: Q4692885
cites work: Testing equivalences for processes
cites work: Towards a semantic theory of CML
cites work: A theory of weak bisimulation for core CML
cites work: Q4038734
cites work: Q4288818
cites work: Q4764628
cites work: Q3997501
cites work: Concurrent testing of processes
cites work: A theory of communicating processes with value passing
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Communicating processes with value-passing and assignments
cites work: Q3992568
cites work: Notions of computation and monads
cites work: From CML to its process algebra
cites work: Q3907077
cites work: Q4023244
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
description: scientific article; zbMATH DE number 1281124