Export Citations
1 Results for: Keyword: Congruence format
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,800,571 records)|Limit your search to The ACM Full-Text Collection (770,305 records)
Select All
- articleFebruary 2009
Bialgebraic methods and modal logic in structural operational semantics
Information and Computation (ICOM), Volume 207, Issue 2Pages 237–257https://doi.org/10.1016/j.ic.2007.10.006Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational semantics (SOS). An extension of algebraic and coalgebraic methods, it abstracts from concrete notions of ...