home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Journal of Logic and Algebraic Programming
, Volume 48
Volume 48, Number 1-2, May-August 2001
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/jlp/BaetenM01
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jos C. M. Baeten
,
C. A. Middelburg
:
Real time process algebra with time-dependent conditions.
1-38
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/jlp/GrootePU01
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jan Friso Groote
,
Alban Ponse
,
Yaroslav S. Usenko
:
Linearization in parallel pCRL.
39-70