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: Baeten:Jos_C=_M=
Facilitated 1 volumes:
EdContributed to:
2012
2005
2004
2001
20011987
1987Wrote 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.