A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.

Andreas Glausch, Wolfgang Reisig

Browse the full CALCO paper archive.