scientific article

From MaRDI portal

Publication:3933750

Jump to:navigation, search

zbMath0477.68056MaRDI QIDQ3933750

Ruediger Valk

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

survey monotonicity concurrency vector replacement systems zero-testing self-modifying nets bilinear invariants constant effect formal models of concurrent systems matrix-multiplication systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Symbolic Termination and Confluence Checking for ECA Rules ⋮ Stratified petri nets ⋮ S- and T-invariants in cyber net systems ⋮ A well-structured framework for analysing Petri net extensions ⋮ Infinite behaviour of Petri nets ⋮ A comparison of two Petri net types ⋮ Petri nets and algebraic specifications

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3933750&oldid=17615845"