526 search results - page 16 / 106 » Type Abstractions of Name-Passing Processes |
128
Voted
FSTTCS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
168
click to vote
ANSOFT
2002
15 years 3 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
111
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
141
Voted
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
161
Voted
EWSPT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...