A Sorted Semantic Framework for Applied Process Calculi

Logical Methods in Computer Science- Germany

doi 10.2168/lmcs-12(1:8)2016

Full Text

Abstract

Available in

Date

Authors

Publisher

Logical Methods in Computer Science e.V.

Related search

A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Framework for Semantic Web Process Composition

International Journal of Electronic Commerce
EconomicsInternational ManagementBusinessEconometrics
2005English

A Mixed Initiative Semantic Web Framework for Process Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Coinductive Interpreters for Process Calculi

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Framework for Semantic Gossiping

SIGMOD Record
Information SystemsSoftware
2002English

A Framework for Classifying Semantic Relationships

2015English

A Semantic Framework for Designer Transactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004Catalan

A Contextualized Knowledge Framework for Semantic Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Framework for Deriving Semantic Web Services

Information Systems Frontiers
Theoretical Computer ScienceComputer NetworksSoftwareInformation SystemsCommunications
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy