A generic type system for the Pi-calculus
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for lock-free processes
Information and Computation - IFIP TCS2000
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Current Solutions for Web Service Composition
IEEE Internet Computing
Behavioral models as service descriptions
Proceedings of the 2nd international conference on Service oriented computing
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
Design for verification for asynchronously communicating Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
A web services-based business interactions manager to support electronic commerce applications
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Simulating process orchestrations in business networks: a case using BPEL4WS
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Component adaptation through flexible subservicing
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
Behavioural Types for Service Integration: Achievements and Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Framework for Web Services Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of Web and Grid Services
Distribution concerns in service-oriented modelling
International Journal of Internet Protocol Technology
Electronic Commerce Research and Applications
XPi: A typed process calculus for XML messaging
Science of Computer Programming
E-business: issues, challenges and architecture
International Journal of Business Information Systems
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models
A mechanism for grid service composition behavior specification and verification
Future Generation Computer Systems
An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Verifying Interaction Protocol Compliance of Service Orchestrations
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Design and implementation of Sator: A web service aggregator
ACM Transactions on Software Engineering and Methodology (TOSEM)
The strategic value of SOA: a comparative case study in the banking sector
International Journal of Information Technology and Management
Generating Interface Grammars from WSDL for Automated Verification of Web Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Towards a Formal Foundation to Orchestration Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifications using XQuery Expressions on Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Formal analysis of BPMN via a translation into COWS
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Sessions and session types: an overview
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
Towards semi-automated workflow-based aggregation of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Typing asymmetric client-server interaction
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
XPi: a typed process calculus for XML messaging
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A process calculus for qos-aware applications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Contract-based web service composition framework with correctness guarantees
ISAS'05 Proceedings of the Second international conference on Service Availability
Analysis of web services composition and substitution via CCS
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
A WSDL-based type system for WS-BPEL
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
A methodology for web services-based SOA realisation
International Journal of Business Information Systems
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.01 |
Addressing the need for a more formal account of service descriptions and service contracts with a mobile process algebra.