Login / Signup

Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra.

P. C. FencottAndy GallowayMike A. LockyerS. J. O'BrienS. Pearson
Published in: FME (1994)
Keyphrases
  • process algebra
  • concurrent systems
  • simulated annealing
  • reverse engineering