134 search results - page 4 / 27 » Discrete Time Process Algebra with Abstraction |
MOC
2000
14 years 11 months ago
2000
Abstract. This paper is concerned with the asymptotic convergence of numerical solutions toward discrete travelling waves for a class of relaxation numerical schemes, approximating...
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 ...
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
106
click to vote
TIME
2005
IEEE
15 years 5 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
108
click to vote
FASE
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...