722 search results - page 4 / 145 » The State Operator in Real Time Process Algebra |
FORTE
2001
15 years 1 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
88
Voted
ICANNGA
2009
Springer
15 years 6 months ago
2009
Springer
Modern process and condition monitoring systems produce a huge amount of data which is hard to analyze manually. Previous analyzing techniques disregard time information and concen...
IFM
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
HICSS
2000
IEEE
15 years 4 months ago
2000
IEEE
A new tool for computing and visualizing the operation of power system components and systems is presented. One component of the tool is a time domain simulator that operates in t...
106
click to vote
MPC
2010
Springer
15 years 4 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...