On Matching Concurrent Traces

Cervesato, Iliano; Pfenning, Frank; Sacchini, Jorge Luis; Schurmann, Carsten; Simmons, Robert J.

doi:10.1184/R1/6607865.v1

file.pdf (239.06 kB)

On Matching Concurrent Traces

journal contribution

posted on 2007-07-01, 00:00 authored by Iliano CervesatoIliano Cervesato, Frank Pfenning, Jorge Luis Sacchini, Carsten Schurmann, Robert J. Simmons

Concurrent traces are sequences of computational steps where independent steps can be permuted and executed in any order. We study the problem of matching on concurrent traces. We outline a sound and complete algorithm for matching traces with one variable standing for an unknown subtrace.

History

Date

2007-07-01

Usage metrics

Keywords

computer sciences

Licence

In Copyright

On Matching Concurrent Traces

History

Date

Usage metrics

Categories

Keywords

Licence

Exports