Вы здесь

Главная

событие

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

A Complete Theory of Deterministic Event Structures
Action refinement and equivalence notions for timed event structures
Activity Specification Using Rendezvous
A Design Framework for Internet-Scale Event Observation and Notification
Advances in Conceptual Modeling: Proc./ER 2015 Workshops, AHA, CMS, EMoV, MoBiD, MORE-BL, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 2015
Annotating, Extracting and Reasoning about Time and Events: Revised Papers/International Seminar. Dagstuhl Castle, Germany, April 2005
Business Process Management: Proc./11th International Conference, BPM 2013, Beijing, China, August 2013
Color-X Event Model: Integrated Specification of the Dynamics of Individual Objects
COLOR-X: Linguistically-based Event Modeling: A General Approach to Dynamic Modeling
Comparing Logical and Behavioural Equivalences for Event Structures
COMPOSE: A System for Composite Specification and Detection
Composing Event Constraints in State-Based Specification
Composite Event Management in TriGS - Concepts and Implementation
CONCUR 2004 - Concurrency Theory: Proc./15th International Conference. London, UK, August/September 2004
Deriving Software Specifications from Event Based Models
Efficient Recognition of Events in a Distributed System
Ein mathematisches Modell fur ereignisgesteuerte Simulation
Equivalence Notions for Event Structures and Refinement of Actions
ESTL: A Temporal Logic for Events and States
Event and Action Representation and Composition for Multimedia Application Scenario Modeling
Event Structures and their Properties
Event Structure Semantics for Nominal Calculi
Experiences from Implementation and Evaluation of Event Processing and Distribution of Notifications in an Object Monitoring Service
Extending the Statechart Formalism: Event Scheduling & Disposition
Formal Methods for Components and Objects: Revised Papers/9th International Symposium, FMCO 2010, Graz, Austria, November 2010
Formal Modeling and Analysis of Timed Systems: Proc./11th International Conference, FORMATS 2013, Buenos Aires. Argentina, August 2013
Further Results of the Relaxed Timing Model for Distributed Simulation
GOLD MINE: Specification Language for Event-Based Monitoring
Modeling the Dynamic Behavior of Objects on Event, Messages and Methods
Notes on Logical Axiomatization of Density Concepts
Observing Some Properties of Event Structures
Open maps and weak trace equivalence for timed event structures
Real-Time Event Structures and Scott Domains
Recursive Petri nets
Refinement of Actions in Event Structures and Causal Trees
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
Regular Event Structures and Finite Petri Nets: A Conjecture
REX-Research and Education in Concurrent Systems (An Event Structure Representation of Trace Languages. Event Structure Semantics of Elementary Net Systems (kopieen van transparanten))
REX-Research and Education in Concurrent Systems (Event Structures: Basic Theory and Applications)
Scalable Uncertainty Management: Proc./7th International Conference, SUM 2013, Washington,DC,USA, September 2013
Signal-Event Nets
Some Characteristics of Nondeterministic Processes
Testing Temporal Logic Properties in Distributed Systems
The Relative Strength of Topological Properties for Event Structures
Timed Equivalences for Timed Event Structures
Timed Testing for Dense Timed Model
Анализ свойств параллельных процессоров и процессоров реального времени, представленных моделями структур событий
Исследование тестовых отношений для временных структур событий
Исследование эквивалентности для структур событий
Исследование эквивалентностных отношений структур событий с непрерывным временем