scientific article; zbMATH DE number 2088359

MaRDI QIDQ4739563zbMATH OpenFDO

Authors Anupriya Ankolekar, Frank Huch, Katia P. Sycara

Publication date 12 August 2004

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
• scientific article; zbMATH DE number 1760051

Cited in

(4)

• On simulation, subtyping and substitutability in sequential object systems
• scientific article; zbMATH DE number 1981000 (Why is no real title available?)
• scientific article; zbMATH DE number 2044485 (Why is no real title available?)
• scientific article; zbMATH DE number 2087387 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell
• Erlang

This page was built for publication:

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