S. Abramsky
1994
Proofs as processes
Theoretical Computer Science
135
1
5–9
10.1016/0304-3975(94)00103-0
T. Andrews
F. Curbera
H. Dholakia
Y. Goland
J. Klein
F. Leymann
K. Liu
D. Roller
D. Smith
S. Thatte
2003
Business process execution language for web services, version 1.1
Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation
G. Bellin
PJ Scott
1994
On the π-calculus and linear logic
Theoretical Computer Science
135
1
11–65
10.1016/0304-3975(94)00104-9
A. Bog
F. Puhlmann
2006
A Tool for the Simulation of π-Calculus Systems
Open. BPM
F. Casati
S. Ilnicki
L.J. Jin
V. Krishnamoorthy
M.C. Shan
2000
eFlow: a platform for developing and managing composite e-services
HP Laboratories Technical Report HPL
E. Christensen
F. Curbera
G. Meredith
S. Weerawarana
2001
Web services description language (WSDL) 1.1
http://www.w3.org/TR/wsdl
D.S. Coalition
A. Ankolekar
M. Burstein
J.R. Hobbs
2002
DAML-S: Web service description for the semantic Web
First International Semantic Web Conference, Sardinia, Italy
Springer
J.Y. Girard
1995
Linear logic: its syntax and semantics
Advances in linear logic
222
1–42
10.1017/CBO9780511629150.002
J. Harrison
1996
Optimizing proof search in model elimination
Lecture Notes in Computer Science
1104
313–327
John Harrison
1996
HOL Light: A tutorial introduction
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science
1166
Springer Berlin / Heidelberg
265–269
10.1007/BFb0031814
J.A. Hendler
A. Tate
M. Drummond
1990
AI planning: Systems and techniques
AI magazine
11
2
61
W.A. Howard
1980
The formulae-as-types notion of construction
To HB Curry: essays on combinatory logic, lambda calculus and formalism
479–490
P.L. John
J. Mitchell
A. Scedrov
N. Shankar
1992
Decision problems for propositional linear logic
Annals of Pure and Applied Logic
56
1-3
239–311
S. Lämmermann
Institutionen för mikroelektronik och informationsteknik
Kungliga tekniska högskolan
2002
Runtime service composition via logic-based program synthesis
Department of Microelectronics and Information Technology
D. Martin
M. Burstein
J. Hobbs
O. Lassila
D. McDermott
S. McIlraith
S. Narayanan
M. Paolucci
B. Parsia
T.R. Payne
2004
OWL-S: Semantic markup for web services
http://www.w3.org/Submission/OWL-S/
T. F. Melham
1994
A Mechanized Theory of the π-calculus in HOL
Nordic Journal of Computing
Volume 1
50–76
R. Milner
1999
Communicating and mobile systems: the π-calculus
Cambridge Univ Pr
T. Murata
1989
Petri nets: Properties, analysis and applications
Proceedings of the IEEE
77
4
541–580
Doi:10.1109/5.24143
L.C. Paulson
1990
Logic and computation: interactive proof with Cambridge LCF
Cambridge Univ Pr
S.R. Ponnekanti
A. Fox
2002
Sword: A developer toolkit for web service composition
Proc. of the Eleventh International World Wide Web Conference, Honolulu, HI
J. Power
C. Webster
C. Maynooth
I. Kildare
1999
Working with Linear Logic in Coq
12th International Conference on Theorem Proving in Higher Order Logics, Work-in-Progress Report, Nice, France
J. Rao
2004
Semantic web service composition via logic-based program synthesis
Dr. Ing Thesis, Norwegian Uinversity of Science and Technology, Trondheim
J. Rao
P. Küngas
M. Matskin
2006
Composition of semantic web services using linear logic theorem proving
Information Systems
31
4-5
340–360
10.1016/j.is.2005.02.005
D. Robertson
2004
A lightweight coordination calculus for agent systems
Declarative Agent Languages and Technologies
1
183–197
M. Sadrzadeh
2003
Modal linear logic in higher order logic: An experiment with Coq
In Emerging Trends TPHOLS
75–93
D. Sangiorgi
1996
A theory of bisimulation for the π-calculus
Acta informatica
33
1
69–97
10.1007/s002360050036
M.E. Stickel
R.J. Waldinger
V.K. Chaudhri
2000
A guide to SNARK
SRI International, Menlo Park, CA
Naoyuki Tamura
1998
User's Guide of a Linear Logic Theorem Prover (llprover)
Technical Report
Kobe University, Japan
Björn Victor
Faron Moller
1994
The Mobility Workbench — A Tool for the π-Calculus
David Dill
CAV'94: Computer Aided Verification
Lecture Notes in Computer Science
818
Springer-Verlag
428–440
Richard Waldinger
2001
Web Agents Cooperating Deductively
Formal Approaches to Agent-Based Systems
Lecture Notes in Computer Science
1871
Springer Berlin / Heidelberg
250–262
10.1007/3-540-45484-5_20
M. Wirsing
A. Clark
S. Gilmore
M. Hölzl
A. Knapp
N. Koch
A. Schroeder
2006
Semantic-based development of service-oriented systems
Formal Techniques for Networked and Distributed Systems-FORTE 2006
24–45