Login / Signup

Testing Semantics: Connecting Processes and Process Logics.

Dusko PavlovicMichael W. MisloveJames Worrell
Published in: AMAST (2006)
Keyphrases
  • process model
  • epistemic logic
  • industrial processes
  • genetic algorithm
  • proof theory
  • production processes
  • propositional dynamic logic