The origins of the notions of bisimulation and coinduction are traced back to different fields, notably computer science, modal logic, and set theory.
Origins of bisimulation and coinduction
SANGIORGI, DAVIDE
2012
Abstract
The origins of the notions of bisimulation and coinduction are traced back to different fields, notably computer science, modal logic, and set theory.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.