uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
On Bounded Reachability Analysis of Shared Memory Systems
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
LIAFA, CNRS and University of Paris Diderot. (Modeling and Verification)
Chennai Mathematical Institute, Chennai, India.
Chennai Mathematical Institute, Chennai.
2014 (English)In: {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014, New Delhi, India, 2014Conference paper (Refereed)
Place, publisher, year, edition, pages
Keyword [en]
concurrent recursive programs, pushdown automata
National Category
Computer Systems
URN: urn:nbn:se:uu:diva-238137OAI: oai:DiVA.org:uu-238137DiVA: diva2:770103
UPMARCConcurrent recursive programs
Available from: 2014-12-09 Created: 2014-12-09 Last updated: 2014-12-17

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Atig, Mohamed Faouzi
By organisation
Computer Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 214 hits
ReferencesLink to record
Permanent link

Direct link