Skip to search formSkip to main contentSkip to account menu

Timed event system

The General System has been described in [Zeigler76] and [ZPK00] with the stand points to define (1) the time base, (2) the admissible input segments… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Behavior of DEVSDEVS

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The creation and management of organizational knowledge
Highly Cited
2008
Highly Cited
2008
Synchronization and Arbitration in Digital Systems
Todays networks of processors on and off chip, operating with independent clocks, need effective synchronization of the data… 
Review
2007
Review
2007
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.- Slicing… 
Highly Cited
2005
Highly Cited
2005
On Temporal Abstractions of Web Service Protocols
Web services are increasingly gaining acceptance as a framework for facilitatingapplication-to-application interactions within… 
Highly Cited
2005
Highly Cited
2005
Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]
Testing of Finite State Machines.- I. Testing of Finite State Machines.- 1 Homing and Synchronizing Sequences.- 2 State… 
Highly Cited
2003
Highly Cited
2003
Model checking of systems with many identical timed processes
Highly Cited
2001
Highly Cited
2001
A timed workflow process model
Highly Cited
2001
Highly Cited
2001
Nitrogen leaching and soil nitrate, nitrite, and ammonium levels under irrigated wheat in Northern Mexico
Nitrate (NO−13) leaching from agricultural soils can represent a substantial loss of fertilizer nitrogen (N), but a large… 
Review
1995
Review
1995
A Brief History of Timed CSP
1991
1991
Abstraction in Real Time Process Algebra
In this paper we extend Real Time Process Algebra by the silent step τ. We start by giving the operational semantics and we find… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)