scientific article

From MaRDI portal

Publication:3038627

Jump to:navigation, search

zbMath0525.68036MaRDI QIDQ3038627

Józef Winkowski

Publication date: 1983

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

zbMATH Keywords

Petri nets distributed networks of interconnected modules system of activities

Mathematics Subject Classification ID

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

Related Items (1)

Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

This page was built for publication:

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