Theory and Formal Methods 1993 (eBook, PDF)

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
Redaktion: Burn, Geoffrey; Ryan, Mark; Gay, Simon

• Format: PDF

Produktbeschreibung

Theory and Formal Methods 1993 provides an overview of work done by one of the world's leading research centres. It will be of interest to researchers and practitioners, as well as undergraduate and postgraduate students.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer London
• Seitenzahl: 329
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9781447135036
• Artikelnr.: 44000453

Autorenporträt

Theory and Formal Methods 1993 provides an overview of work done by one of the world's leading research centres. It will be of interest to researchers and practitioners, as well as undergraduate and postgraduate students.

Inhaltsangabe

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.