Last update: Thu Sep 27 02:46:57 MDT 2018
@Article{deBakker:1987:ISF,
author = "J. W. {de Bakker} and J.-J. C. Meyer and E.-R.
Olderog",
title = "Infinite streams and finite observations in the
semantics of uniform concurrency",
journal = j-THEOR-COMP-SCI,
volume = "49",
number = "2--3",
pages = "87--112",
month = "",
year = "1987",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat Nov 22 13:29:49 MST 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs1985.bib",
acknowledgement = ack-nhfb,
classification = "C4210 (Formal logic)",
conflocation = "Nafplion, Greece; 15-19 July 1985",
conftitle = "Twelfth International Colloquium on Automata,
Languages and Programming",
corpsource = "Centre for Math. and Comp. Sci., Free Univ.,
Amsterdam, Netherlands",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "finite observations; formal languages; infinite
streams; language; nondeterministic choice; parallel
composition; semantics; sequential composition; uniform
concurrency",
pubcountry = "Netherlands A01",
treatment = "T Theoretical or Mathematical",
}