-
1
-
-
0002138243
-
Turning SOS rules into equations
-
Aceto, L., Bloom, B., Vaandrager, F.W.; Turning SOS rules into equations. Information and Computation 111(1) (1994) 1-52
-
(1994)
Information and Computation
, vol.111
, Issue.1
, pp. 1-52
-
-
Aceto, L.1
Bloom, B.2
Vaandrager, F.W.3
-
2
-
-
0038315923
-
-
Specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems
-
Andrews, T., et.al.: Business Process Execution Language for Web Services, Version 1.1, Specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems (2003)
-
(2003)
Business Process Execution Language for Web Services, Version 1.1
-
-
Andrews, T.1
-
3
-
-
26444447069
-
A distributed implementation of mobile nets as mobile agents
-
Proceedings of the 7th IFIP International Conference on Formal Methods for Open Object Based Distributed Systems (FMOODS 2005), Springer Verlag
-
Busi, N., Padovani, L.: A distributed implementation of mobile nets as mobile agents. In: Proceedings of the 7th IFIP International Conference on Formal Methods for Open Object Based Distributed Systems (FMOODS 2005). Volume 3535 of LNCS., Springer Verlag (2005) 259-274
-
(2005)
LNCS
, vol.3535
, pp. 259-274
-
-
Busi, N.1
Padovani, L.2
-
4
-
-
33646124701
-
PiDuce: A process calculus with native XML datatypes
-
2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), Springer Verlag
-
Brown, A., Laneve, C., Meredith, G.L.: PiDuce: a process calculus with native XML datatypes. In: 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005). Volume 3670 of LNCS., Springer Verlag (2005) 18-34
-
(2005)
LNCS
, vol.3670
, pp. 18-34
-
-
Brown, A.1
Laneve, C.2
Meredith, G.L.3
-
5
-
-
33646157115
-
The BoPi machine: A distributed machine for experimenting web services technologies
-
IEEE Computer Society Press
-
Carpineti, S., Laneve, C., Milazzo, P.: The BoPi machine: a distributed machine for experimenting web services technologies. In: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), IEEE Computer Society Press (2005) 202-211
-
(2005)
Fifth International Conference on Application of Concurrency to System Design (ACSD 2005)
, pp. 202-211
-
-
Carpineti, S.1
Laneve, C.2
Milazzo, P.3
-
7
-
-
35248824972
-
Linear forwarders
-
R. Amadio, D.L., ed.: CONCUR 2002, Springer-Verlag
-
Gardner, P., Laneve, C., Wischik, L.: Linear forwarders. In R. Amadio, D.L., ed.: CONCUR 2002. Volume 2761 of Lecture Notes in Computer Science., Springer-Verlag (2003) 415-430
-
(2003)
Lecture Notes in Computer Science
, vol.2761
, pp. 415-430
-
-
Gardner, P.1
Laneve, C.2
Wischik, L.3
-
8
-
-
24644473613
-
-
Oracle Corporation
-
Kavantzas, N., Olsson, G., Mischkinsky, J., Chapman, M.: Web Services Choreography Description Languages. Oracle Corporation (2003)
-
(2003)
Web Services Choreography Description Languages
-
-
Kavantzas, N.1
Olsson, G.2
Mischkinsky, J.3
Chapman, M.4
-
9
-
-
19144364635
-
Compiling join-patterns
-
Nestmann, U., Pierce, B.C., eds.: Proceedings of High-Level Concurrent Languages '98. Volume 16.3
-
Le Fessant, F., Maranget, L.: Compiling join-patterns. In Nestmann, U., Pierce, B.C., eds.: Proceedings of High-Level Concurrent Languages '98. Volume 16.3 of Electronic Notes in Computer Science. (1998)
-
(1998)
Electronic Notes in Computer Science
-
-
Le Fessant, F.1
Maranget, L.2
-
10
-
-
0004002694
-
Web services flow language (wsfl 1.0)
-
IBM Software Group
-
Leymann, F: Web Services Flow Language (wsfl 1.0). Technical report, IBM Software Group (2001)
-
(2001)
Technical Report
-
-
Leymann, F.1
-
11
-
-
44049113210
-
A calculus of mobile processes, part I/II
-
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I/II. Information and Computation 100 (1992) 1-77
-
(1992)
Information and Computation
, vol.100
, pp. 1-77
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
12
-
-
84968816021
-
Barbed bisimulation
-
Proceedings of ICALP '92, Springer-Verlag
-
Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Proceedings of ICALP '92. Volume 623 of Lecture Notes in Computer Science., Springer-Verlag (1992) 685-695
-
(1992)
Lecture Notes in Computer Science
, vol.623
, pp. 685-695
-
-
Milner, R.1
Sangiorgi, D.2
|