Paper Info
Title
Distributive Laws And Decidable Properties Of Sos Specifications
Abstract
Some formats of well-behaved operational specifications, correspond to natural transformations of certain types (for example, GSOS and coGSOS laws). These transformations have a common generalization: distributive laws of monads over comonads. We prove that this elegant theoretical generalization has limited practical benefits: it does not translate to any concrete rule format that would be complete for specifications that contain both GSOS and coGSOS rules. This is shown for the case of labeled transition systems and deterministic stream systems.
Year
DOI
Venue
2014
10.4204/EPTCS.160.8
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
DocType
Volume
Issue
Journal
160
160
ISSN
Citations 
PageRank 
2075-2180
0
0.34
References 
Authors
2
2
Name
Order
Citations
PageRank
Bartek Klin101.01
Beata Nachyla220.74