Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Aalborg University / /
IndustryTerm
inequational axiom systems / proof systems / reactive systems / axiomatic verification tools / transition systems / important applications / /
Organization
Danish National Research Foundation / BRICS Department / University of Aarhus / Department of Software Engineering / Aalborg University / Computer Science University of Aarhus Ny Munkegade / Department of Computer Science / /
Person
Jan Fokkink / Luca Aceto / Jan Fokkink Anna / Luca Aceto Willem Jan Fokkink / / /
Position
standard semantic model for various process description languages / /