A Relatively Complete Calculus for Structured Heterogeneous Specifications.

Till Mossakowski Andrzej Tarlecki

Published in: FoSSaCS (2014)

Keyphrases

transition systems
high level
formal language
delay insensitive
neural network
structured data
provably correct
real time
real world
information systems
web services
case study
formal specification