Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995
From MaRDI portal
Publication:1273550
zbMath0903.00064MaRDI QIDQ1273550
No author found.
Publication date: 7 December 1998
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
00B25: Proceedings of conferences of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68Q55: Semantics in the theory of computing
Related Items
The regular-language semantics of second-order idealized ALGOL, A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).