A Graphical Foundation for Schedules

DOI10.1016/J.ENTCS.2012.08.018MaRDI QIDQ3178289zbMATH OpenOpenAlexWikidataFDO

Authors Guy McCusker, Cai Wingfield, 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

associativitycompositesgame semanticsgeometryschedules

Mathematics Subject Classification ID

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

Recommendations

• Calendar-Based Graphics for Visualizing People’s Daily Schedules
• scientific article; zbMATH DE number 2080092
• Scheduling Flat Graphs
• Scheduling Conditional Task Graphs
• scientific article; zbMATH DE number 5263424
• Strip Graphs: Recognition and Scheduling
• A graphic language based on timing diagrams
• Scheduling loosely connected task graphs.
• Periodic Schedules for Bounded Timed Weighted Event Graphs

Cites work

• A fully abstract denotational semantics for the calculus of higher-order communicating systems
• A survey of graphical languages for monoidal categories
• Braided tensor categories
• Full abstraction for PCF
• Functorial Boxes in String Diagrams
• Game Semantics in String Diagrams
• scientific article; zbMATH DE number 3812514 (Why is no real title available?)
• scientific article; zbMATH DE number 3950781 (Why is no real title available?)
• scientific article; zbMATH DE number 1318513 (Why is no real title available?)
• scientific article; zbMATH DE number 1342245 (Why is no real title available?)
• On full abstraction for PCF: I, II and III
• The Anatomy of Innocence Revisited
• The geometry of tensor calculus. I
• Tortile tensor categories

Cited in

(3)

• Two-Dimensional Gantt Charts and a Scheduling Algorithm of Lawler
• A graphical foundation for interleaving in game semantics
• Calendar-Based Graphics for Visualizing People’s Daily Schedules

This page was built for publication: A Graphical Foundation for Schedules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3178289)