Login / Signup
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic.
Mila E. Majster-Cederbaum
Frank Salger
Published in:
ASIAN (1999)
Keyphrases
</>
asynchronous circuits
process algebra
model checking
formal methods
concurrent programs
concurrent systems
grid workflow
constraint satisfaction problems
temporal reasoning
natural language
formal specification
machine learning
knowledge base
distributed systems
temporal knowledge