|
" Theory and formal methods 1993 : "
Geoffrey Burn ... (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745453
|
| Doc. No
|
:
|
b565402
|
| Main Entry
|
:
|
Geoffrey Burn ... (eds.).
|
| Title & Author
|
:
|
Theory and formal methods 1993 : : proceedings of the 1. Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993\ Geoffrey Burn ... (eds.).
|
| Publication Statement
|
:
|
London u.a. : Springer, 1993
|
| Series Statement
|
:
|
Workshops in computing
|
| Page. NO
|
:
|
VIII, 325 Seiten : Diagramme.
|
| ISBN
|
:
|
0387198423
|
|
|
:
|
: 3540198423
|
|
|
:
|
: 9780387198422
|
|
|
:
|
: 9783540198420
|
| Notes
|
:
|
Literaturangaben.
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Computerkonferenz.
|
| Subject
|
:
|
Formale Spezifikationstechnik.
|
| Subject
|
:
|
Praxis.
|
| Added Entry
|
:
|
Geoffrey Burn
|
|
|
:
|
Workshop on Theory and Formal Methods (1, 1993, Chelwood Gate)
|
| Parallel Title
|
:
|
T & FM
|
| |