登入選單
Google圖書搜尋
Process Theory Based on Bisimulation Semantics
作者
Johannes Aldert Bergstra / Jan Willem Klop
出版1988
ISBN
OCLC:66140745
ACP with Signals
作者
J. A. Bergstra
出版1988
ISBN
OCLC:64944629
Real Space Process Algebra
作者
J. C. M. Baeten
出版1992
ISBN
OCLC:65849588
Emperical Semantics for Object-oriented Programs
作者
Johannes Aldert Bergstra / Marijke Elisabeth Loots
出版1999
ISBN
9039321817 / 9789039321812
Process Algebra with Iteration and Nesting
作者
J. A. Bergstra / I. Bethke / A. Ponse
出版1993
ISBN
OCLC:69066174
Process Algebra for Synchronous Communication and ...
作者
J. A. Bergstra
出版1988
ISBN
OCLC:64944601
Axiomatizing Probabilistic Processes
作者
Jos C. M. Baeten / Jan A. Bergstra / Scott A. Smolka
出版1992
ISBN
OCLC:65873107
Decidability of Bisimulation Equivalence for Proce...
作者
J. C. M. Baeten / J. A. Bergstra / J. W. Klop
出版1992
ISBN
OCLC:65867915
Global Renaming Operators in Concrete Process Alge...
作者
J. C. M. Baeten / J. A. Bergstra
出版1987
ISBN
OCLC:64857334
Discrete Time Process Algebra
作者
J. C. M. Baeten / J. A. Bergstra
出版1992
ISBN
OCLC:65868018
Discrete Time Process Algebra with Abstraction
作者
J. C. M. Baeten / J. A. Bergstra
出版1995
ISBN
OCLC:68924638
Process Algebra with Backtracking
作者
J. A. Bergstra / A. Ponse / J. J. van Wamel
出版1993
ISBN
OCLC:66279249
Term Rewriting Systems with Priorities
作者
J. C. M. Baeten / J. A. Bergstra / J. W. Klop
出版1986
ISBN
OCLC:64283474
A Real Time Process Logic
作者
J. C. M. Baeten / J. A. Bergstra / R. N. Bol
出版1993
ISBN
OCLC:66004961
On the Quantifier-free Fragment of 'logic of Effec...
作者
Johannes Aldert Bergstra / John-Jules Charles Meyer
出版1981
ISBN
OCLC:67484315
The Data Type Variety of Stack Algebras
作者
J. A. Bergstra / J. V. Tucker
出版1993
ISBN
OCLC:66279205
The Inescapable Stack: an Exercise in Algebraic Sp...
作者
J. A. Bergstra
出版1988
ISBN
OCLC:64830377
Bounded Stacks, Bags and Queues
作者
J. C. M. Baeten / J. A. Bergstra
出版1997
ISBN
OCLC:68505090
Located Actions in Process Algebra with Timing
作者
J. A. Bergstra / C. A. Middelburg
出版2003
ISBN
OCLC:66778481
Process Algebra with Pointers
作者
Josephus Cornelis Maria Baeten / Johannes Aldert Bergstra / Laurentius Michiel Gerardus Feijs
出版2002
ISBN
OCLC:67135810
Platform Projections, Compilers, Interpreters and ...
作者
Johannes Aldert Bergstra / Marijke Elisabeth Loots
出版1999
ISBN
9039323291 / 9789039323298
Mode Transfer in Process Algebra
作者
J. C. M. Baeten / J. A. Bergstra
出版2000
ISBN
OCLC:67736729
Discrete Time Process Algebra
作者
J. C. M. Baeten / J. A. Bergstra
出版1995
ISBN
OCLC:69042531
Equational Specifications, Complete Term Rewriting...
作者
Jan A. Bergstra / John V. Tucker
出版1992
ISBN
OCLC:65873189
Graph Isomorphism Models for Non Interleaving Proc...
作者
J. C. M. Baeten / J. A. Bergstra
出版1994
ISBN
OCLC:69417155
Real Time Process Algebra with Infinitesimals
作者
J. C. M. Baeten / J. A. Bergstra
出版1993
ISBN
OCLC:66279470
Process Algebra with Feedback
作者
J. C. M. Baeten / J. A. Bergstra / Gh Stefanescu
出版1994
ISBN
OCLC:69192753
Deadlock Behaviour in Split and ST Bisimulation Se...
作者
J. C. M. Baeten / J. A. Bergstra
出版1998
ISBN
OCLC:68002535
Non Interleaving Process Algebra
作者
J. C. M. Baeten / J. A. Bergstra
出版1993
ISBN
OCLC:66279474
Process Algebra with Partial Choice
作者
J. C. M. Baeten / J. A. Bergstra
出版1994
ISBN
OCLC:69429821