A Context-Free Process as a Pushdown Automaton (Q3541013): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Jos C. M. Baeten / rank
Normal rank
 
Property / author
 
Property / author: Pieter J. L. Cuijpers / rank
Normal rank
 
Property / author
 
Property / author: Jos C. M. Baeten / rank
 
Normal rank
Property / author
 
Property / author: Pieter J. L. Cuijpers / 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/978-3-540-85361-9_11 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1584306444 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760240 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3404131 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the consistency of Koomen's fair abstraction rule / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of bisimulation equivalence for process generating context-free languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2005 – Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process algebra for synchronous communication / rank
 
Normal rank
Property / cites work
 
Property / cites work: Branching time and abstraction in bisimulation semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760254 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4038732 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite results / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4218112 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Impossible futures and determinism / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 20:06, 28 June 2024

scientific article
Language Label Description Also known as
English
A Context-Free Process as a Pushdown Automaton
scientific article

    Statements

    Identifiers