Verification of population protocols (Q523133): Difference between revisions

From MaRDI portal
Changed an Item
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00236-016-0272-3 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00236-016-0272-3 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2424307510 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computation in networks of passively mobile finite-state sensors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computation in networks of passively mobile finite-state sensors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fast Computation by Population Protocols with a Leader / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stably computable predicates are semilinear / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fast computation by population protocols with a leader / rank
 
Normal rank
Property / cites work
 
Property / cites work: The computational power of population protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4223064 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rational sets in commutative monoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2703808 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4415251 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Well-structured transition systems everywhere! / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semigroups, Presburger formulas, and languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Vector Addition System Reversible Reachability Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Presburger Vector Addition Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Vector Addition System Reversible Reachability Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Demystifying Reachability in Vector Addition Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Technology for Verification and Analysis / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00236-016-0272-3 / rank
 
Normal rank

Latest revision as of 20:20, 9 December 2024

scientific article
Language Label Description Also known as
English
Verification of population protocols
scientific article

    Statements

    Identifiers