Failures Semantics for a Simple Process Language with Refinement.

Luca Aceto Uffe Engberg

Published in: FSTTCS (1991)

Keyphrases

formal semantics
specification language
programming language
process model
conceptual model
language learning
speech acts
operational semantics
predicate calculus
intended meaning