عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387198423
(Number (ISBN
3540198423
(Number (ISBN
9780387198422
(Number (ISBN
9783540198420
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565402
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Theory and formal methods 1993 :
General Material Designation
[Book]
Other Title Information
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
First Statement of Responsibility
Geoffrey Burn ... (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London u.a.
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
VIII, 325 Seiten : Diagramme.
SERIES
Series Title
Workshops in computing
GENERAL NOTES
Text of Note
Literaturangaben.
CONTENTS NOTE
Text of Note
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.
PARALLEL TITLE PROPER
Parallel Title
T & FM
TOPICAL NAME USED AS SUBJECT
Computerkonferenz.
Formale Spezifikationstechnik.
Praxis.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Geoffrey Burn ... (eds.).
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Geoffrey Burn
Workshop on Theory and Formal Methods (1, 1993, Chelwood Gate)
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
