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

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