Modeling concurrency with partial orders
International Journal of Parallel Programming
Logical Time in Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Real-time system = discrete system + clock variables
Theories and experiences for real-time system development
An extensional treatment of lazy data flow deadlock
Selected papers of the workshop on Topology and completion in semantics
Interaction categories and the foundations of typed concurrent programming
Proceedings of the NATO Advanced Study Institute on Deductive program design
The specification and execution of heterogeneous synchronous reactive systems
The specification and execution of heterogeneous synchronous reactive systems
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Communication and Concurrency
Traces, Histories, Graphs: Instances of a Process Monoid
Proceedings of the Mathematical Foundations of Computer Science 1984
Metric Spaces as Models for Real-Time Concurrency
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Networks of Real-Time Processes
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Run-time HW/SW codesign for discrete event systems using dynamically reconfigurable architectures
ISSS '00 Proceedings of the 13th international symposium on System synthesis
A component-based approach to modeling and simulating mixed-signal and hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Configuration Prefetching for Non-deterministic Event Driven Multi-context Schedulers
FPL '00 Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications
SPI: a system model for heterogeneously specified embedded systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
HW/SW codesign techniques for dynamically reconfigurable architectures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Modeling of sensor nets in Ptolemy II
Proceedings of the 3rd international symposium on Information processing in sensor networks
Semantics-based optimization across uncoordinated tasks in networked embedded systems
Proceedings of the 5th ACM international conference on Embedded software
Actor-oriented models for codesign: balancing re-use and performance
Formal methods and models for system design
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
On the causality of mixed-signal and hybrid models
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Proceedings of the 47th Design Automation Conference
Ptera: an event-oriented model of computation for heterogeneous systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Model-based specification of timing requirements
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Logical time: specification vs. implementation
ACM SIGSOFT Software Engineering Notes
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Analysis and compute of real-time signal flow delay for network on-chip
Proceedings of the 2011 International Conference on Innovative Computing and Cloud Computing
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Embedded Systems Design
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Modeling timed concurrent systems
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
Modeling and analysis of middleware design for streaming power grid applications
Proceedings of the Industrial Track of the 13th ACM/IFIP/USENIX International Middleware Conference
On fixed points of strictly causal functions
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
On the verification of timed discrete-event models
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
An axiomatization of the theory of generalized ultrametric semilattices of linear signals
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
The rewriting logic semantics project: A progress report
Information and Computation
Distributed Simulation of Heterogeneous and Real-Time Systems
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Hi-index | 0.00 |
We give a formal framework for studying real‐time discrete‐event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes with behaviors in the intersection of the behaviors of the component processes. The interaction between processes is through signals, which are collections of events. Each event is a value‐tag pair, where the tags denote time. Zeno conditions are defined and methods are given for avoiding them. Strict causality ensures determinacy under certain technical conditions, and delta‐causality ensures the absence of Zeno conditions.