Fully abstract denotational models for nonuniform concurrent languages
type: Item
instance of: scholarly article
title: Fully abstract denotational models for nonuniform concurrent languages
zbMATH Open document ID: 0824.68060
author: E. Horita
author: J. W. de Bakker
author: Jan J. M. M. Rutten
published in: Information and Computation
publication date: 1995-01-09T00:00:00Z
full work available at URL: https://ir.cwi.nl/pub/1437
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 708734
zbMATH Keywords: Plotkin-style transition system
MaRDI profile type: Publication
OpenAlex ID: W2156335201
DOI: 10.1006/INCO.1994.1095
description: scientific article; zbMATH DE number 708734