1532 search results - page 185 / 307 » An Algebraic Process Calculus |
132
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
136
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
166
click to vote
SNPD
2003
15 years 6 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
138
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
137
Voted
ENTCS
2008
15 years 5 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...