• Home
  • Search
  • PiDuce: A Process Calculus with Native XML Datatypes
  • Open Access IconOpen Access
  • Cite Icon35
  • https://doi.org/10.1007/11549970_3Copy DOI Icon

PiDuce: A Process Calculus with Native XML Datatypes

  • Jan 1, 2005
  • Allen L Brown +2 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structure of values may not reveal anything about their schemas. This is problematic in the pattern matching algorithm because it requires to verify whether a schema of a channel is a subschema of a pattern. Such a verification has exponential cost, in general. In order to reduce the computational complexity of the pattern matching, channel schemas are constrained to occur in tail positions of sequences and to be labelled-determined.

Similar Papers
  • PDF
  • Research Article
  • Citations4

An Improved Hashing Approach for Biological Sequence to Solve Exact Pattern Matching Problems

  • Nov 20, 2023
  • Applied Computational Intelligence and Soft Computing
  • Prince Mahmud +2
  • Research Article
  • Citations31

EPMA: Efficient pattern matching algorithm for DNA sequences

  • Mar 16, 2017
  • Expert Systems with Applications
  • Muhammad Tahir +2
  • Conference Article
  • Citations1

Performance Analysis of the Single Pattern Matching Algorithm Based on Prefix Searching

  • Dec 01, 2011
  • Wu Xi-Hong
  • Research Article
  • Citations12

Discontinuous and Pattern Matching algorithm to measure deformation having discontinuities

  • Mar 12, 2019
  • Engineering Applications of Artificial Intelligence
  • Ghulam Mubashar Hassan
  • Conference Article
  • Citations20

Compact state machines for high performance pattern matching

  • Jan 01, 2007
  • Proceedings - ACM IEEE Design Automation Conference
  • Piti Piyachon +1
  • Conference Article
  • Citations23

Exscind: Fast pattern matching for intrusion detection using exclusion and inclusion filters

  • Oct 01, 2011
  • Monther Aldwairi +1
  • Conference Article
  • Citations2

Pattern matching with wildcards based on multiple suffix trees

  • Aug 01, 2012
  • Yingling Liu +4
  • Research Article
  • Citations14

Exploiting parallelism in pattern matching

  • Jan 03, 1991
  • ACM Transactions on Information Systems
  • Victor Wing-Kit Mak +2
  • Research Article
  • Citations18

A Digest and Pattern Matching-Based Intrusion Detection Engine

  • Apr 15, 2009
  • The Computer Journal
  • Z Chen +2
  • Conference Article
  • Citations6

A Fast Improved Pattern Matching Algorithm for Biological Sequences

  • Oct 01, 2008
  • Yong Huang +4
  • Conference Article
  • Citations43

Deterministic superimposed coding with applications to pattern matching

  • Oct 19, 1997
  • P Indyk
  • Research Article
  • Citations5

Enhancing particle image tracking performance with a sequential Monte Carlo method: The bootstrap filter

  • Feb 23, 2011
  • Flow Measurement and Instrumentation
  • Shengxian Shi +1
  • Book Chapter
  • Citations19

A Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching

  • Jan 01, 2008
  • M Oǧuzhan Külekci
  • Book Chapter
  • Citations5

Generation of Pattern-Matching Algorithms by Extended Regular Expressions

  • Jan 01, 1993
  • Advances in Software Science and Technology
  • Ikuo Nakata
  • Single Report

Particle Track Classification Using Quantum Associative Memory (Final Technical Report)

  • Dec 21, 2020
  • Lauren Ice +3
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.