Logic, Computation and Rigorous Methods

The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes

Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_16 Matthes Elstermann, André Wolski, A. Fleischmann, C. Stary, Stephan Borgert

Computation on Structures - Behavioural Theory, Logic, Complexity

Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_15 K. Schewe

Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond

Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_10 J. Makowsky