登入選單
Google圖書搜尋
Process Algebra: Equational Theories of Communicat...
作者
J. C. M. Baeten / M. A. Reniers
出版Cambridge University Press, 2010
ISBN
9780521820493 / 0521820499
主題
Computers
Process Algebra with Timing
作者
J.C.M. Baeten / C.A. Middelburg
出版Springer Science & Business Media, 2013-03-09
ISBN
9783662049952 / 3662049953
主題
Computers
Filters and Ultrafilters Over Definable Subsets of...
作者
J. C. M. Baeten
出版1986
ISBN
UOM:39015034880958
主題
Admissible sets
Algebra of Communicating Processes
作者
J.C.M. Baeten
出版2005
ISBN
OCLC:989562129
On the Consistency of Koomen's Fair Abstraction Ru...
作者
J. C. M. Baeten / Jan A. Bergstra / Jan Willem Klop
出版1985
ISBN
OCLC:17497375
主題
Approximation theory
CONCUR '90
出版1990
ISBN
UCAL:B4405771
主題
Machine theory
Decidability of Bisimulation Equivalence for Proce...
作者
J. C. M. Baeten / Jan A. Bergstra / Jan Willem Klop
出版1986
ISBN
OCLC:17622512
主題
Formal languages
Process Algebra
作者
J. C. M. Baeten / W. P. Weijland
出版Cambridge University Press, 1990-10-25
ISBN
0521400430 / 9780521400435
主題
Computers
Models of Computation
作者
J.C.M. Baeten
出版2013
ISBN
OCLC:989571751
An Algebra for Process Creation
作者
J. C. M. Baeten / Frits W. Vaandrager
出版1989
ISBN
OCLC:21502079
主題
Process control
CONCUR '91
作者
J. C. M. Baeten / Jan Frisco Groote
出版Springer, 1991
ISBN
UCSC:32106009736254
主題
Computers
Game, Set, Maths
作者
F. Dechesne
出版2005
ISBN
OCLC:989543595
Process Algebra with a Zero Object
作者
J. C. M. Baeten / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). / Jan A. Bergstra
出版1990
ISBN
OCLC:23926790
主題
Algebra
A Process Specification Formalism Based on Static ...
作者
Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). Department of Software Technology / J. A. Bergstra / S. Mauw / G. J. Veltink
出版1989
ISBN
OCLC:22336113
主題
Abstract data types (Computer science)
The State Operator in Real Time Process Algebra
作者
J. C. M. Baeten / Jan A. Bergstra
出版1991
ISBN
OCLC:256017326
主題
Real-time data processing
Global Renaming Operators in Concrete Process Alge...
作者
J. C. M. Baeten / Jan A. Bergstra
出版1985
ISBN
OCLC:64857334
主題
Parallel processing (Electronic computers)
Design of a Specification Language by Abstract Syn...
作者
J. C. M. Baeten / Jan A. Bergstra
出版1989
ISBN
OCLC:22336157
主題
Programming languages (Electronic computers)
Recursive Process Definitions with the State Opera...
作者
J. C. M. Baeten / Jan A. Bergstra
出版1989
ISBN
OCLC:22883476
主題
Computer programming
Another Look at Abstraction in Process Algebra
作者
J. C. M. Baeten / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). Department of Software Technology / R. J. van Glabbeek
出版1987
ISBN
OCLC:35485690
主題
Algebra, Abstract
Conditional Axioms and A/b Calculus in Process Alg...
作者
J. C. M. Baeten / J. A. Bergstra / J. W. Klop
出版1985
ISBN
OCLC:17440427
主題
Algebra
Conditional Axioms and [alpha]/[beta] Calculus in ...
作者
J. C. M. Baeten / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). Department of Computer Science / J. A. Bergstra / J. W. Klop
出版1985
ISBN
OCLC:35427557
Ready Trace Semantics for Concrete Process Algebra...
作者
J. C. M. Baeten / Jan A. Bergstra / Jan Willem Klop
出版1985
ISBN
OCLC:17870954
主題
Parallel processing (Electronic computers)
Real Space Process Algebra
作者
J. C. M. Baeten / Jan A. Bergstra
出版1991
ISBN
OCLC:25511938
主題
Real-time data processing
Conditional Axioms and [alpha]/[beta] Calculus in ...
作者
Josephus Cornelis Maria Baeten / Johannes Aldert Bergstra / Jan Willem Klop
出版1985
ISBN
OCLC:256101600
Process Algebra with Signals and Conditions
作者
J. C. M. Baeten / Jan A. Bergstra
出版1991
ISBN
OCLC:24807006
主題
Operator algebras
Abstraction and Empty Process in Process Algebra
作者
J. C. M. Baeten / R. J. van Glabbeek
出版1987
ISBN
OCLC:18574754
主題
Abstraction
CONPAR 90-VAPP IV, Joint International Conference ...
出版1990
ISBN
OCLC:22346890
主題
Machine theory
Programming Language Implementation and Logic Prog...
出版1991
ISBN
0387544305 / 9780387544304
主題
Artificial intelligence
Merge and Termination in Process Algebra
作者
J. C. M. Baeten / R. J. van Glabbeek
出版1987
ISBN
OCLC:35484981
主題
Algebra
CONCUR '90
出版1990
ISBN
OCLC:640152157