Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...
Cross-organizational workflow management is an essential ingredient for process integration in virtual enterprises. To obtain cross-organizational workflow processes with robust s...
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
Allan Clark, Adam Duguid, Stephen Gilmore, Mirco T...
This paper proposes a conceptual model standardizing the meeting information structures underlying several scenarios o PDA use in meetings. The paper characterizes the memory and p...