A Timed Semantics for SDL.

Simon Mørk Jens Chr. Godskesen Michael R. Hansen Robin Sharp

Published in: FORTE (1996)

Keyphrases

formal semantics
petri net
logic programming
conceptual model
keywords
integrity constraints
conceptual graphs
speech acts
operational semantics
model theoretic