Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Joint Bull. of NCC and IIS
Связанные издания:
A General Schema for Constraint Propagation
Agents as Constraint Objects
Algebraic characterization of bihavioural equivalences over event structures
Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model
Algebraic specifications for dataflow computations design
A Model of Cooperative Solvers for Computational Problems
A multi-branch narrowing: satisfiability and termination
An Algebra of Labelled Nondeterministic Processes
Application of Constraint Hierarchy to Timetabling Problems
A Three-Level Approach to C# Program Verification
Background for formalisation of complex systems
Coloured Petri net approach to modeling of SDL specifications with dynamic constructions
Concurrent Testing for Timed event Structures
Constraint Propagation in Presence of Arrays
Cross-program Data Flow Visualization
Equivalence Notions for event Structures and Refinement of Actions
Equivalence Notions for Event Structures and Refinement of Actions
Equivalences for Behavioural Analysis of Multilevel Systems
Extended Pascal to C++ Converter
Fixed Points on Abstract Structures without the Equality Test
Formal Semantics and Verification of Distributed Systems Presented by Basic-REAL Specifications
Integrated Enterprise-Level Security Solution "Vostok"
Logical Characterization of Probablistic theta-Bisimulation Equivalents
Model-checking mu-Calculus in Well-Structured Transition Systems
Model Checking of Time Petri Nets
Model checking puzzles in mu-Calculus
Model vs. Algorithm: Change of Paradigm in Information Technology
Modularization of typed Gurevich machines
Novel Modification of the W-method
On a Symbolic Method of Verification for Definite Interaction over Data Structures
On a Symbolic Method of Verification for Definite Iteration Over Data Structures
Options Management in RescueWare System
Reachability Analysis for Time Petri Nets without Overlappings of Firing Intervals
Reachability Analysis for Time Petri Nets Without Overlappings of Firing Intervals
Reduction of coloured Petri nets based on resourse bisimulation
Representation of Interval Models and Interval Data in the Constraint Programming System
Rule-Based Versus Procedure-Based View of Logic Programming
Simple Semantic Analysis Problems for Functional Programs
Solving CSPs with Predominating Constraints of the "not Equal" Type
Solving Problems of Resource Constraint Satisfaction with Time-EX
Some Modifications of Sugiyama Approach
Subdefinite Data Types and Constraints in Knowledge Representation Language
Timed Testing for Dense Timed Model
Timed Testing for Models with Internal Actions
Towards a Framework for Designing Constraint Solvers and Solver Collaborations
Typed Gurevich Machines Revisited
Unified Semantic Language: Syntax, Semantics, and Pragmatics