登入選單
Google圖書搜尋
Lectures on Embedded Systems
作者
Grzegorz Rozenberg / Frits W. Vaandrager
出版Springer Science & Business Media, 1998-10-14
ISBN
3540651934 / 9783540651932
主題
Computers
Formal Modeling and Analysis of Timed Systems
作者
Frits W. Vaandrager
出版Springer Science & Business Media, 2009-09-07
ISBN
9783642043673 / 3642043674
主題
Computers
The Theory of Timed I/O Automata, Second Edition
作者
Dilsun Kaynar / Nancy Lynch / Roberto Segala / Frits Vaandrager
出版Morgan & Claypool Publishers, 2010-10-10
ISBN
9781608450039 / 1608450031
主題
Technology & Engineering
An Algebra for Process Creation
作者
J. C. M. Baeten / Frits W. Vaandrager
出版1989
ISBN
OCLC:21502079
主題
Process control
Hybrid Systems: Computation and Control
作者
Frits W. Vaandrager / Jan H. van Schuppen
出版Springer Science & Business Media, 1999-03-17
ISBN
9783540657347 / 3540657347
主題
Computers
Determinism [arrr] (event structure isomorrphism
作者
Frits W. Vaandrager
出版1988
ISBN
OCLC:46151415
Untimed Systems
作者
Nancy A. Lynch / Frits W. Vaandrager
出版1993
ISBN
OCLC:61809520
Lectures on Embedded Systems
作者
Grzegorz Rozenberg / Frits W. Vaandrager
出版Springer Science & Business Media, 1998-10-14
ISBN
3540651934 / 9783540651932
主題
Computers
Formal Modeling and Analysis of Timed Systems
作者
Joel Ouaknine / Frits W. Vaandrager
出版Springer, 2009-09-03
ISBN
9783642043680 / 3642043682
主題
Computers
A Simple Definition for Parallel Composition of Pr...
作者
Frits W. Vaandrager
出版1989
ISBN
OCLC:21502075
主題
Binary system (Mathematics)
Timing-based Systems
作者
Nancy A. Lynch / Frits W. Vaandrager
出版1993
ISBN
OCLC:61809521
Expressiveness in Concurrency
作者
Rocco De Nicola / U. Goltz / Frits W. Vaandrager
出版1996
ISBN
OCLC:897840110
Process Algebra Semantics of POOL
作者
Frits W. Vaandrager
出版1986
ISBN
OCLC:15579897
主題
Parallel processing (Electronic computers)
An Efficient Algorithm for Branching Bisimulation ...
作者
J. F. Groote / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). Department of Software Technology / Frits W. Vaandrager
出版1990
ISBN
OCLC:35489892
主題
Computer algorithms
The Difference Between Splitting in N and N+1
作者
R. J. van Glabbeek / F. Vaandrager
出版1995
ISBN
OCLC:123338961
主題
Graph theory
Modular Specifications in Process Algebra - with C...
作者
R. J. van Glabbeek / Frits W. Vaandrager
出版1988
ISBN
OCLC:19860984
主題
Algebra
Action Transducers and Timed Automata
作者
Nancy A. Lynch / Frits W. Vaandrager
出版1994
ISBN
OCLC:258451569
主題
Real-time data processing
Expressiveness Results for Process Algebras
作者
F. W. Vaandrager
出版1993
ISBN
OCLC:31237729
主題
Algebra
Some Observations on Redundancy in a Context
作者
Frits W. Vaandrager / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). Department of Software Technology
出版1988
ISBN
OCLC:19793453
主題
Proof theory
Proof-checking a Data Link Protocol
作者
L. Helmink / M. P. A. Sellink / F. W. Vaandrager
出版1994
ISBN
903930582X / 9789039305829
主題
Computer network protocols
Structured Operational Semantics and Bisimulation ...
作者
J. F. Groote / Frits W. Vaandrager
出版1988
ISBN
OCLC:20617533
主題
Programming languages (Electronic computers)
A Note on Fairness in I/O Automata
作者
J. M. T. Romijn / F. W. Vaandrager
出版1995
ISBN
OCLC:35649310
主題
Computer input-output equipment
Algebraic techniques for concurrency and their app...
作者
Frits W. Vaandrager
出版1989
ISBN
OCLC:258484383
Forward and Backward Simulations
作者
Nancy Ann Lynch
出版1993
ISBN
OCLC:606159731
Back and Forth Bisimulations
作者
Rocco De Nicola / Ugo Montanari / Frits W. Vaandrager
出版1990
ISBN
OCLC:24021652
主題
Semantics
Three Logics for Branching Bisimulation
作者
Rocco De Nicola / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). / Frits W. Vaandrager
出版1990
ISBN
OCLC:23926838
主題
Logic programming
Verification of a Distributed Summation Algorithm
作者
Frits W. Vaandrager
出版1995
ISBN
OCLC:258154862
主題
Computer network protocols
Turning SOS Rules Into Equations
作者
Luca Aceto / Bard Bloom / F. W. Vaandrager
出版1992
ISBN
OCLC:257782059
主題
Computer programming