Reactive, generative, and stratified models of probabilistic processes
type: Item
instance of: scholarly article
title: Reactive, generative, and stratified models of probabilistic processes
zbMATH Open document ID: 0832.68042
author: Scott A. Smolka
author: Bernhard Steffen
author: Rob van Glabbeek
published in: Information and Computation
publication date: 1995-09-20T00:00:00Z
full work available at URL: https://ir.cwi.nl/pub/2019
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 799030
zbMATH Keywords: structural operational semantics
zbMATH Keywords: PCCS
MaRDI profile type: Publication
OpenAlex ID: W2135657750
DOI: 10.1006/INCO.1995.1123
description: scientific article; zbMATH DE number 799030