246 search results - page 12 / 50 » A Process Algebra for Real-Time Programs |
JUCS
2006
14 years 9 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
ICALP
2003
Springer
15 years 2 months ago
2003
Springer
IFIP
2004
Springer
15 years 2 months ago
2004
Springer
QEST
2008
IEEE
15 years 3 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
101
click to vote
SOSL
1993
15 years 1 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...