A Rigourous Environment for Development of Concurrent Systems.

Rimvydas Ruksenas

Published in: Nord. J. Comput. (2004)

Keyphrases

concurrent systems
real time
software engineering
temporal logic
process algebra
support environment
information processing
formal specification
computing environments
transition systems
st century
rapid development
design principles
design process
distributed systems
mobile robot
case study
neural network