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.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London u.a.
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
VIII, 325 Seiten : Diagramme.
فروست
عنوان فروست
Workshops in computing
يادداشت کلی
متن يادداشت
Literaturangaben.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
T & FM
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computerkonferenz.
موضوع مستند نشده
Formale Spezifikationstechnik.
موضوع مستند نشده
Praxis.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Geoffrey Burn ... (eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Geoffrey Burn
مستند نام اشخاص تاييد نشده
Workshop on Theory and Formal Methods (1, 1993, Chelwood Gate)