Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.

Søren Debois Thomas T. Hildebrandt Tijs Slaats Nobuko Yoshida

Published in: FORTE (2014)

Keyphrases

type checking
data types
database query languages
complex objects
relational calculus
query processor
abstract data types
spatio temporal
object model
management system
software engineering
response time
relational algebra