Processes, Terms and Cycles: Steps on the Road to Infinity

Beschreibung

Autor*in

Aart Middeldorp

Themen in »Processes, Terms and Cycles: Steps on the Road to Infinity«

Bisimulation Extension aspect-oriented programming behavior expression reduction finite equational bases graph transformation lambda calculus logic model theory mu calculus process algebra semantics simulation term rewriting

Stimmen zu »Processes, Terms and Cycles: Steps on the Road to Infinity«

Details

Link teilen