Showing 21 - 40 results of 122 for search '"operational semantics"', query time: 0.53s Refine Results
  1. 21
    Reliable and Energy Efficient Streaming Multiprocessor Systems
    Table of Contents: “…Chapter 1. Introduction -- chapter 2.Operational Semantics of Application and Reliability Model…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 22
    Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics /
    by Draheim, Dirk
    Published 2017
    Table of Contents: “… and Operational Semantics -- The Working Probabilistic Lambda Calculus -- Properties of the Markov Chain Semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 23
    Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /
    Published 2014
    Table of Contents: “… -- On the expressiveness of parameterization in process-passing -- An operational semantics for model checking long running…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 24
    Scalable Techniques for Formal Verification
    by Ray, Sandip
    Published 2010
    Table of Contents: “… -- Sequential Programs -- Operational Semantics and Assertional Reasoning -- Connecting Different Proof Styles…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 25
    Software Languages Syntax, Semantics, and Metaprogramming /
    by Lämmel, Ralf, Lämmel, Ralf
    Published 2018
    Table of Contents: “… of Textual Concrete Syntax -- 8 A Primer on Operational Semantics -- 9 A Primer on Type Systems -- 10…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 26
    Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
    Published 2009
    Table of Contents: “… Operational Semantics for Weighted Transition Systems -- On the Specification and Verification of Model…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 27
    Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers /
    Published 2012
    Table of Contents: “… -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 28
    Understanding Concurrent Systems
    by Roscoe, A.W
    Published 2010
    Table of Contents: “… -- Theory -- Operational Semantics -- Denotational Semantics and Behavioural Models -- Finite Observation…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 29
    Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
    Published 2006
    Table of Contents: “… -- CSP Is a Retract of CCS -- A Design-Based Model of Reversible Computation -- An Operational Semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 30
    Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /
    Published 2010
    Table of Contents: “… -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 31
    Verification of Business Rules Programs
    by Berstel-Da Silva, Bruno
    Published 2014
    Table of Contents: “… -- Chap. 4 - States and State Assertions -- Chap. 5 - Operational Semantics of Rule Programs -- Chap. 6…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 32
    Analysis and Correctness of Algebraic Graph and Model Transformations
    by Golas, Ulrike
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  13. 33
    New Development in Robot Vision
    Published 2015
    Table of Contents: “… of Vision-Based Robot Control during Autonomous Operation -- Semantic and Spatial Content Fusion for Scene…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 34
    Model-Based Systems Engineering with OPM and SysML
    by Dori, Dov
    Published 2016
    Table of Contents: “… and Abstraction -- OPM Operational Semantics and Control Links -- Logical Operators and Probabilities -- Overview…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 35
    Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
    Published 2004
    Table of Contents: “… -- Proof Styles in Operational Semantics -- Integrating Reasoning About Ordinal Arithmetic into ACL2…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 36
    Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers /
    Published 2018
    Table of Contents: “… -- The Proportional Constraint and Its Pruning -- An Operational Semantics for Constraint-logic Imperative Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 37
    Implementation of Functional Languages 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers /
    Published 1999
    Table of Contents: “… -- Towards an Operational Semantics for a Parallel Non-strict Functional Language -- Concurrent Monadic…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 38
    Verification of Sequential and Concurrent Programs
    Full Text via HEAL-Link
    Electronic eBook
  19. 39
    Quality Software Through Reuse and Integration
    Published 2018
    Table of Contents: “… to Specification Authoring, Sharing, and Usage -- FCL: A Formal Language for Writing Contracts -- Operational…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 40
    Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
    Published 2013
    Table of Contents: “… -- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems -- Efficient Operational…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search