A theory of processes with durational actions

Gorrieri, Roberto; Roccetti, Marco; Stancampiano, Enrico

doi:10.1016/0304-3975(94)00205-w

Cited by 61 publications

(60 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…None of these approaches is able to naturally describe properties of timing. Process algebra with timing features are presented in [1,9,10,11,12,20]. We have extended the pure mobile ambients by adding time constraints to capabilities and ambients.…”

Section: Resultsmentioning

confidence: 99%

Timed Mobile Ambients for Network Protocols

Aman

Ciobanu

2008

Formal Techniques for Networked and Distributed Systems – FORTE 2008

View full text Add to dashboard Cite

Abstract. Ambient calculus is a calculus for mobile computing able to express local communications inside hierarchical domains. So far the timing properties have not been considered in the framework of mobile ambients. We add timers to capabilities and ambients, and provide an operational semantics of the new calculus. Certain results are related to the passage of time, and some new behavioural equivalences over timed mobile ambients are defined. Timeout for network communication (TTL) can be naturally modelled by the time constraints over capabilities and ambients. The new formalism can be used to describe network protocols; Simple Network Management Protocol (SNMP) may implement its own strategy for timeout and retransmission in TCP/IP.

show abstract

Section: Resultsmentioning

confidence: 99%

Timed Mobile Ambients for Network Protocols

Aman

Ciobanu

2008

Formal Techniques for Networked and Distributed Systems – FORTE 2008

View full text Add to dashboard Cite

show abstract

“…Last, but not least, Corradini et al [5] introduced the ill-timed-but-wellcaused approach for relating processes with respect to speed [1,6]. This approach allows system components to attach local time stamps to actions.…”

Section: Related Workmentioning

confidence: 99%

Bisimulation on Speed: A Unified Approach

Lüttgen

Vogler

2005

Foundations of Software Science and Computational Structures

View full text Add to dashboard Cite

Abstract. Two process-algebraic approaches have been developed for comparing two bisimulation-equivalent processes with respect to speed: the one of Moller/Tofts equips actions with lower time bounds, while the one by Lüttgen/Vogler considers upper time bounds instead. This paper sheds new light on both approaches by testifying to their close relationship. We introduce a general, intuitive concept of "fasterthan", which is formalised by a notion of amortised faster-than preorder. When closing this preorder under all contexts, exactly the two fasterthan preorders investigated by Moller/Tofts and Lüttgen/Vogler arise. For processes incorporating both lower and upper time bounds we also show that the largest precongruence contained in the amortised fasterthan preorder is not a proper preorder but a timed bisimulation. In the light of this result we systematically investigate under which circumstances the amortised faster-than preorder degrades to an equivalence.

show abstract

“…The idea of using local clocks is taken from [7,14,10], the view of system activities as instantaneous events is taken from [21] (and related works, see references therein). The rational for this choice is that since we are concerned with the static analysis of behavioral aspects of systems obtained by assembling together components running at (possibly) different speed we prefer to abstract from events duration while concentrating on the relative speed of the system components.…”

Section: Related Workmentioning

confidence: 99%

“…This is not possible neither in [21], where the existence of a unique global clock is made explicit (and based upon the fact that all system components must synchronize), nor in [7,14,10], where the local clocks are assumed to elapse in the same way (by making the system components running at the same speed).…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance

Attanasio

Corradini

Inverardi

1999

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. In this paper we apply a new real-time modeling to the wellknown Steam Boiler case study. The novelty of our approach is in explicitly representing the various system components, i. e. hardware sensors, software controllers and so on, with separate local clocks. The aim of our approach is to be able to statically analyze the global system specification taking into account the relative speed of each system components. For example, we can statically verify if, and how changing the local speed of a component can affect the global performance of the system. Component behaviors are specified by means of a simple process algebra. Local clocks are modeled as higher order terms in a given signature, and unification is used to define the common clock. Then an operational semantics defines which transitions a process can perform and which transitions let time to elapse.

show abstract

A theory of processes with durational actions

Cited by 61 publications

References 7 publications

Timed Mobile Ambients for Network Protocols

Timed Mobile Ambients for Network Protocols

Bisimulation on Speed: A Unified Approach

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance

Contact Info

Product

Resources

About