Вы здесь

Главная

Baeten J.C. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification 2006 Andova S., Baeten J.C. M., Willemse T.A. C. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ Timed Process Algebra (With a Focus on Explicit Termination and Relative Timing) 2004 Baeten J.C. M., Reniers M. A. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.01.2005
СТ An MSC Based Representation of DiCons 2001 Baeten J.C. M., Van Beek H.M. A., Mauw S. Lecture Notes in Computer Science 04.08.2001
СТ Discrete Time Process Algebra with Abstraction 1995 Baeten J.C. M., Bergstra J. A. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
П A process specification formalism based on static COLD 1989 Baeten J.C. M., Bergstra J. A., Mauw S., Veltnik G. J. CWI 21.06.1995
П Term Rewriting Analysis in Process Algebra 1990 Akkerman G. J., Baeten J.C. M. Univ. Amsterdam 07.06.1995
П Real Space Process Algebra 1990 Baeten J.C. M., Bergstra J. A. Univ. Amsterdam 07.06.1995
П Process Algebra with a Zero Object 1990 Baeten J.C. M., Bergstra J. A. Univ. Amsterdam 07.06.1995
П Design of a Specification Language by Abstract Syntax Engineering (prliminary version) 1989 Baeten J.C. M., Bergstra J. A. Univ. Amsterdam 07.06.1995
СТ Process Algebra with Partial Choice 1994 Baeten J.C. M., Bergstra J. A. Lecture Notes in Computer Science 26.08.1994
СТ A Real Time Process Logic 1994 Baeten J.C. M., Bergstra J. A., Bol R. N. Lecture Notes in Artificial Intelligence 11.08.1994
СТ Non Interleaving Process Algebra 1993 Baeten J.C. M., Bergstra J. A. Lecture Notes in Computer Science 19.10.1993
СТ A Congruence Theorem for Structured Operational Semantics with Predicates 1993 Baeten J.C. M., Verhoff C. Lecture Notes in Computer Science 19.10.1993
СТ Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages 1993 Baeten J.C. M., Bergstra J. A., Klop J. W. J. of the ACM 13.09.1993
СТ Axiomatizing Probabilistic Processes: ACP with Generative Probabilities 1992 Baeten J.C. M., Bergstra J. A., Smolka S. A. Lecture Notes in Computer Science 20.10.1992
СТ Discrete Time Process Algebra 1992 Baeten J.C. M., Bergstra J. A. Lecture Notes in Computer Science 16.10.1992
СТ An Algebra for Process Creation 1992 Baeten J.C. M., Vaandrager F. W. Acta Informatica 01.10.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Theoretical Computer Science: Proc./7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 2012 2012 Lecture Notes in Computer Science
  1. Baeten J.C. M.
  2. Ball T.
  3. de Boer F. S.
 01.10.2012
СБ Automata, Languages and Programming: Proc./30th Intern. Colloq., ICALP 2003, Eindhoven, The Netherlands, June-July 2003 2003 Lecture Notes in Computer Science
  1. Baeten J.C. M.
  2. Lenstra J. K.
  3. Parrow J.
  4. Woeginger G. J.
 20.09.2003
СБ CONCUR 99 - Concurrency Theory: Proc./10th Intern. Conf. Eindhoven, The Netherlands, August 1999 1999 Lecture Notes in Computer Science
  1. Baeten J.C. M.
  2. Mauw S.
 15.09.1999
М CONCUR 90:Proc./Theories of Concurrency: Unification and Extension. Amsterdam, The Netherlands, August 1990 1990 Lecture Notes in Computer Science
  1. Baeten J.C. M.
  2. Klop J. W.
 30.01.1991