Login / Signup
A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems.
Martin Große-Rhode
Published in:
IFM (1999)
Keyphrases
</>
expert systems
neural network
digital libraries
management system
learning systems
high level
reactive systems
computer systems
building blocks
finite state machines