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
#timed_processes
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
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst