7109 search results - page 287 / 1422 » Process Algebra with Combinators |
124
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...
134
click to vote
ECTEL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
142
click to vote
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
134
click to vote
FAC
2002
15 years 4 months ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...
146
click to vote
ICUMT
2009
15 years 2 months ago
2009
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...