Rule Formats for Timed Processes
(2002) : Kick, Marco
DOI: https://doi.org/10.1016/s1571-0661(04)80498-5
#behaviour #semantics #rule_system #comonad #structural_operational_semantics #CSOS #operational_semantics #timed_processes #my_bibtex

A Hierarchy of Sos Rule Formats
(2006) : Jan Friso Groote and Mohammad Reza Mousavi and Michel A. Reniers
DOI: https://doi.org/10.1016/j.entcs.2005.11.077
#formal_semantics #hierarchy #rule #structural_operational_semantics #taxonomy #transition_syst
#my_bibtex

Rule Formats for Timed Processes
(2002) : Marco Kick
DOI: https://doi.org/10.1016/s1571-0661(04)80498-5
#CSOS #behaviour #comonad #operational_semantics #rule_system #semantics #structural_operational_semantics #timed_processes
#my_bibtex