A Graphical Foundation for Schedules

DOI10.1016/j.entcs.2012.08.018zbMath1342.68093OpenAlexW2076994233WikidataQ113318072 ScholiaQ113318072MaRDI QIDQ3178289

Cai Wingfield, Guy McCusker, A. John Power

Publication date: 8 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2012.08.018

zbMATH Keywords

geometrycompositesassociativitygame semanticsschedules

Mathematics Subject Classification ID

Applications of game theory (91A80) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A graphical foundation for interleaving in game semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The geometry of tensor calculus. I
• Braided tensor categories
• Tortile tensor categories
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Game Semantics in String Diagrams
• A Survey of Graphical Languages for Monoidal Categories
• Functorial Boxes in String Diagrams
• The Anatomy of Innocence Revisited
• A fully abstract denotational semantics for the calculus of higher-order communicating systems