PiDuce: A Process Calculus With Native XML Datatypes

Lecture Notes in Computer Science - Germany
doi 10.1007/11549970_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A STUDY OF NATIVE XML DATABASES - Document Update, Querying, Access Control and Application Programming Interfaces in Native XML Databases

2009English

An Openehr Repository Based on a Native XML Database

2012English

A Process Calculus Analysis of Compensations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Modeling Consensus in a Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Nested Datatypes With Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus With Explicit Flattening

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

XML Schema Validation Process for CORE.GOV

2004English

XML Programming With SQL/XML and XQuery

IBM Systems Journal
2002English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

A Domain-Theoretic Model for a Higher-Order Process Calculus

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy