Login / Signup
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.
Abhik Roychoudhury
P. S. Thiagarajan
Published in:
Lectures on Concurrency and Petri Nets (2003)
Keyphrases
</>
embedded systems
high level
database
process model
multi agent
response time
hardware and software
embedded real time systems