ACPτ: a universal axiom system for process specification

Authors:
J. A. Bergstra;J. W. Klop
Affiliations:
-;-
Venue:
Algebraic methods: theory, tools and applications
Year:
1989

Citing 0
Cited 2

Analysing scientific workflows with Computational Tree Logic

Cluster Computing
A linear process-algebraic format with data for probabilistic automata

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract