Recursion induction for real-time processes
type: Item
instance of: scholarly article
title: Recursion induction for real-time processes
zbMATH Open document ID: 0806.68073
DOI: 10.1007/BF01211248
author: Jim Davies
author: S. A. Schneider
published in: Formal Aspects of Computing
publication date: 1994-06-29T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68W15
zbMATH DE Number: 598165
zbMATH Keywords: communicating sequential processes
zbMATH Keywords: timed distributed systems
Wikidata QID: Q60173633
MaRDI profile type: Publication
cites work: Real time process algebra
cites work: On the consistency of Koomen's fair abstraction rule
cites work: Q3680252
cites work: Q4028616
cites work: Q4163527
cites work: A process algebra for timed systems
cites work: Q3777424
cites work: Q3725534
cites work: Q4060097
cites work: Q4036565
full work available at URL: https://doi.org/10.1007/bf01211248
OpenAlex ID: W2083644882
DBLP publication ID: journals/fac/DaviesS94
description: scientific article; zbMATH DE number 598165