Functions with local state: regularity and undecidability
type: Item
instance of: scholarly article
title: Functions with local state: regularity and undecidability
zbMATH Open document ID: 1108.68076
author: Andrzej S. Murawski
published in: Theoretical Computer Science
publication date: 2005-06-30T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 2184043
zbMATH Keywords: Game semantics
zbMATH Keywords: Automata
zbMATH Keywords: Software verification
zbMATH Keywords: Model checking
MaRDI profile type: Publication
OpenAlex ID: W2011823280
cites work: Q4823132
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q4218919
cites work: Q4263830
cites work: Visibly pushdown languages
cites work: Regular-Language Semantics for a Call-by-Value Programming Language
cites work: Q2754137
cites work: The regular-language semantics of second-order idealized ALGOL
cites work: Automata, Languages and Programming
cites work: Game theoretic analysis of call-by-value computation
cites work: Q5592246
cites work: Foundations of Software Science and Computation Structures
cites work: Q5590814
cites work: Q3202991
cites work: About the undecidability of program equivalence in finitary languages with state
cites work: Foundations of Software Science and Computational Structures
cites work: Operational reasoning for functions with local state
cites work: Formal Reductions of the General Combinatorial Decision Problem
DOI: 10.1016/J.TCS.2004.12.036
description: scientific article; zbMATH DE number 2184043