BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
2 × USA
3 × Italy
Collaborated with:
F.Corradini M.A.Reniers S.Andova R.J.v.Glabbeek J.Markovski D.A.v.Beek H.M.A.v.Beek S.Mauw J.A.Bergstra J.W.Klop
Talks about:
process (4) algebra (4) abstract (2) plant (2) time (2) probabilist (1) supervis (1) prioriti (1) internet (1) explicit (1)

Person: Jos C. M. Baeten

DBLP DBLP: Baeten:Jos_C=_M=

Facilitated 1 volumes:

ICALP 2003Ed

Contributed to:

IFM 20122012
LICS 20052005
SFM-RT 20042004
SAC 20012001
TACAS 20012001
ICALP 19871987
RTA 19871987

Wrote 7 papers:

IFM-2012-MarkovskiBB #component #requirements
Partially-Supervised Plants: Embedding Control Requirements in Plant Components (JM, DAvB, JCMB), pp. 253–267.
LICS-2005-BaetenC #algebra #process #regular expression
Regular Expressions in Process Algebra (JCMB, FC), pp. 12–19.
SFM-2004-BaetenR #algebra #process #termination
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) (JCMB, MAR), pp. 59–97.
SAC-2001-BaetenBM #internet #specification
Specifying internet applications with DiCons (JCMB, HMAvB, SM), pp. 576–584.
TACAS-2001-AndovaB #abstraction #algebra #probability #process
Abstraction in Probabilistic Process Algebra (SA, JCMB), pp. 204–219.
ICALP-1987-BaetenG #abstraction #algebra #process
Another Look at Abstraction in Process Algebra (JCMB, RJvG), pp. 84–94.
RTA-1987-BaetenBK #term rewriting
Term Rewriting Systems with Priorities (JCMB, JAB, JWK), pp. 83–94.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.