Вы здесь

Главная

операционная семантика

Связанные издания:

A Bounded True Concurrency Process Algebra for Performance Evaluation
Agreement Technologies: Revised Selected Papers/6th International Conference, AT 2018, Bergen, Norway, December 2018
An Algebra of Petri Nets with Arc-Based Time Restrictions
An Operational Semantics for StAC, a Language for Modeling Long-Running Business Transactions
An Operational Semantics for Stateflow
A notation of congruence for dtsPBC
Automated Reasoning: Proc./Third International Joint Conference, IJCAR 2006. Seattle, WA, USA, August 2006
Coalgebraic Methods in Computer Science: Revised Selected Papers/11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 2012
Coalgebraic Methods in Computer Science: Revised Selected Papers/12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 2014
Discrete time stochastic Petri box calculus with immediate multiactions
Domain Modeling and The Duration Calculus: Advanced Lectures/International Training School. Shanghai, China, September 2007
Domain-Specific transition systems and their application to a formal Definition of a model programming language
Empirical Software Engineering and Verification: Revised Tutorial Lectures/ International Summer Schools, LASER 2008-2010, Elba Island, Italy
Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC
Executable Specifications of P Systems
First-Class Relationships in an Object-Oriented Language
Formal Aspects of Component Software: Revised Selected Papers/12th International Conference, FACS 2015, Niteroi, Brazil, October 2015
Formal Methods in Computer-Aided Design: Proc./5th International Conference, FMCAD 2004. Austin, Texas, USA, November 2004
Iteration in discrete time stochastic Petri box calculus
Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013
Monotonicity in Logic and Language: Proc./2nd Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM, 2020, Beijing, China, December 2020
On the Operational Semantics of the Algebraic and Logic Programming Language LPG
Ontological transition systems
Operational semantics development for procedural programming languages based on conceptual transition systems
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Operational Semantics of Hybrid Systems
Partial Order Semantics of Box Expressions
Programming Languages and Systems: Proc./12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 2014
Programming Languages and Systems: Proc./19th European Symposium ESOP 2010, Joint European Conferences ETAPS 2010, Paphos, Cyprus, March 2010
Programming Languages and Systems: Proc./20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saabrucken, Germany, March 2011
Programming Languages and Systems: Proc./28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Programming Languages and Systems: Proc./6th Asian Symposium, APLAS 2008. Bangalore, India, December 2008
Program Specific Transition Systems
The Kell Calculus: Operational Semantics and Type System
Theory and Practice of Model Transformations: Proc./Third International Conference, ICMT 2010, Malaga, Spain, June 2010
Two-level mixed verification method of C-light programs in terms of safety logic
Unified Semantic Language: Syntax, Semantics, and Pragmatics
Unifying Theories of Programming: Revised Selected Papers/First International Symposium, UTP 2006. Walworth Castle, County Durham, UK, February 2006
Unreliable Failure Detectors via Operational Semantics
Verification-Oriented Language C-Light and Its Structural Operational Semantics
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики
Верификация С-программ в мультиязыковой системе СПЕКТР
Верификация С-программ на основе смешанной аксиоматической семантики
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
Концептуальный базис трехуровневого метода верификации C# программ
Моделирование операционной семантики машинных инструкций
Пример верификации в проекте F@BOOL@, основанном на булевских решателях
Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем
Типовые примеры использования языка Atoment