No label defined (Q5013876)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7438566

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7438566

Statements

scholarly article

0 references

publication date

3 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1509.07199

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015.3

0 references

Philipp H. W. Hoffmann

0 references

MaRDI profile type

MaRDI publication profile

0 references

Concurrent reachability games

0 references

Alternating-time temporal logic

0 references

Reachability Games on Extended Vector Addition Systems with States

0 references

0 references

Negotiation as concurrency primitive

0 references

On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations

0 references

Distributed synthesis for well-connected architectures

0 references

Asynchronous Games over Tree Architectures

0 references

Playing Games with Counter Automata

0 references

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

0 references

Perfect Equilibrium in a Bargaining Model

0 references

Pushdown processes: Games and model-checking

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5013876

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