Login / Signup

Support environment for the development of problem oriented concurrent systems.

Giulio IannelloAntonino MazzeoCarlo Savy
Published in: Microprocess. Microprogramming (1988)
Keyphrases
  • support environment
  • concurrent systems
  • case study
  • distributed systems
  • temporal logic
  • grid technology
  • web services
  • design process
  • development process
  • transition systems