Causal behaviours and nets (Q5096367)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7572185

Language	Label	Description	Also known as
English	Causal behaviours and nets	scientific article; zbMATH DE number 7572185

Statements

scholarly article

0 references

Causal behaviours and nets (English)

0 references

Lecture Notes in Computer Science

0 references

publication date

16 August 2022

0 references

full work available at URL

https://research.utwente.nl/en/publications/causal-behaviours-and-nets(5f76172c-cc3d-4538-9b16-ae56cef7a8cc).html

0 references

Joost-Pieter Katoen

0 references

MaRDI profile type

MaRDI publication profile

0 references

Process Algebra

0 references

Sequential and concurrent behaviour in Petri net theory

0 references

0 references

Causal automata

0 references

0 references

A formal semantics for concurrent systems with a priority relation

0 references

Coloured Petri nets and the invariant-method

0 references

Algebraic specification and verification of communication protocols

0 references

Time, clocks, and the ordering of events in a distributed system

0 references

0 references

Recoverability of Communication Protocols--Implications of a Theoretical Study

0 references

0 references

0 references

On the nature of events

0 references

On the specification of elementary reactive behaviour

0 references

0 references

0 references

Detecting causal relationships in distributed computations: In search of the holy grail

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/3-540-60029-9_44

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5096367

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5096367&oldid=36842226"