Concurrent execution semantics of DAML-S with subtypes

DOI10.1007/3-540-48005-6_25MaRDI QIDQ4739563zbMATH OpenFDO

Authors Anupriya Ankolekar, Frank Huch, Katia P. Sycara

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2342/23420318.htm

zbMATH Keywords

AgentsLanguages and InfrastructureOntologiesServices

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Knowledge representation (68T30) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 92601
• Executable Semantics and Type Checking for Session-Based Concurrency in Maude
• scientific article; zbMATH DE number 3890713
• Direct semantics of concurrent languages in the SMoLCS approach
• scientific article; zbMATH DE number 4035117
• A denotational semantic theory of concurrent systems
• Session-based concurrency in Maude: executable semantics and type checking
• scientific article; zbMATH DE number 995891
• Logical Semantics of Types for Concurrency
• Behavioural types for a calculus of concurrent objects

Cited in

(4)

• On simulation, subtyping and substitutability in sequential object systems
• Processing schedules using distributed ontologies on the semantic web
• ITTALKS: An application of agents in the semantic web
• Concurrent semantics for the web services specification language DAML-S

Describes a project that uses

Uses Software

• Haskell
• Erlang

This page was built for publication: Concurrent execution semantics of DAML-S with subtypes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4739563)