Computation sequence sets
From MaRDI portal
Publication:1236890
DOI10.1016/S0022-0000(76)80047-5zbMath0354.68100MaRDI QIDQ1236890
Publication date: 1976
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Related Items
Unnamed Item ⋮ An informal introduction to a high level language with applications to interval mathematics ⋮ The unsolvability of some Petri net language problems ⋮ Unnamed Item ⋮ Verification of causal models using petri nets ⋮ Unnamed Item ⋮ Bidirectional comparison of multi-attribute qualitative objects ⋮ Petri nets and regular languages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On multiset group ⋮ Algebraic structure of some stochastic discrete event systems, with applications ⋮ Concurrent regular expressions and their relationship to Petri nets ⋮ The context-freeness of the languages associated with vector addition systems is decidable ⋮ Infinite behaviour of Petri nets ⋮ On the theory of bags and lists ⋮ Remarks on blind and partially blind one-way multicounter machines ⋮ Analysis of Petri nets by stepwise refinements ⋮ Relations and functions in multiset context ⋮ Groups Whose Word Problem is a Petri Net Language ⋮ A normal form theorem for label grammars
Cites Work
