Buch, Englisch, 329 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 517 g
Reihe: Workshops in Computing
Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29¿31 March 1993
Buch, Englisch, 329 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 517 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19842-0
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
1: Overview and Introductory Papers.- The Abstract Interpretation of Functional Languages.- Deriving Category Theory from Type Theory.- Graph Rewriting Systems and Abstract Interpretation.- Geometric Logic in Computer Science.- 2: Research Papers.- Interaction Categories (Extended Abstract).- Animating LU.- Dynamical Systems, Measures and Fractals via Domain Theory (Extended Abstract).- Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories.- Reasoning About Gamma Programs.- Generalising Interpretations Between Theories in the Context of (?-) Institutions.- Modelling Signal in Interaction Categories.- Product Operations in Strong Monads.- On the Equivalence of State-Transition Systems.- Towards a Modal Logic of Durative Actions.- Concurrency, Fairness and Logical Complexity.- Concurrency and Conflict in CSP.- A Complete Axiom System for CCS with a Stability Operator.- An Internal Language for Autonomous Categories.- Continuation Passing Transformation and Abstract Interpretation.- A Note on Expressiveness of Process Algebra.- Prioritising Preference Relations.- Laws of Parallel Synchronised Termination.- Implementing Process Calculi in C.- An Exact Interpretation of While.- Congruences for ?-Respecting Formats of Rules.- Author Index.