scientific article
From MaRDI portal
Publication:2779230
zbMath0982.68576MaRDI QIDQ2779230
William Retert, John Tang Boyland, James S. Noble
Publication date: 15 April 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2072/20720002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Computing methodologies and applications (68U99)
Related Items (4)
A semantic model of confinement and locality theorem ⋮ Introduction to the special issue on computational logic for verification ⋮ A concurrent constraint programming interpretation of access permissions ⋮ Bestow and atomic: concurrent programming using isolation, delegation and grouping
This page was built for publication:
