Back to search results

Person

Prof.dr. J.C.M. Baeten

Pagina-navigatie:

filter results

Type

Date

Accessibility

Institution

201-210 out of 214 results by:date

Save search results

Another look at abstraction in process algebra (1987)Open access

Authors: Baeten, J.C.M.; Glabbeek, van R.J.
Another look at abstraction in process algebra (extended abstract) (1987)Open access

Authors: Baeten, JCM (Jos); Glabbeek, van RJ (Rob)
On the consistency of Koomen's fair abstraction rule (1987)Open access

Authors: Baeten, JCM (Jos); Bergstra, JA (Jan); Klop, JW (Jan Willem)
In: Theoretical Computer Science, 51(1-2), 129. S.l.: s.n.. ISSN 0304-3975.

Decidability of bisimulation equivalence for processes generating context-free languages (1987)Open access

Authors:	Baeten, JCM (Jos); Bergstra, JA (Jan); Klop, JW (Jan Willem)
In:	PARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987), Volume II, LNCS 259 / Ed. J.W. de Bakker, A.J. Nijman, P.C. Treleaven, 259, 94. Berlin: Springer-Verlag

Syntax and defining equations for an interrupt mechanism in process algebra (1986)Open access

Authors: Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.
Decidability of bisimulation equivalence for processes generating context-free languages (1986)Open access

Authors: Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.
Filters and ultrafilters over definable subsets of admissible ordinals (1986)Open access

Author: Baeten, J.C.M.
An operational semantics for process algebra (1985)Open access

Authors: Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.
Global renaming operators in concrete process algebra (1985)Open access

Authors: Baeten, J.C.M.; Bergstra, J.A.
Ready trace semantics for concrete process algebra with priority operator (1985)Open access

Authors: Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.

Pages:

previous

<< < 13 14 15 16 17 18 19 20 21 22 > >>

next

Go to page top
Go back to contents
Go back to site navigation