Direct semantics of concurrent languages in the SMoLCS approach

DOI10.1147/RD.315.0512MaRDI QIDQ3766819zbMATH OpenOpenAlexFDO

Authors Egidio Astesiano, Gianna Reggio

Publication date 1987

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1147/rd.315.0512

zbMATH Keywords

Adacomplex data structureparameterized semanticsstrong interference

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3978364
• scientific article; zbMATH DE number 3990839
• Locally abstract, globally concrete semantics of concurrent programming languages
• scientific article; zbMATH DE number 3932376
• A systematic approach to language constructs for concurrent programs
• scientific article; zbMATH DE number 92601
• Publication:4721640
• scientific article; zbMATH DE number 3958700
• A denotational semantic theory of concurrent systems
• Concurrent programming languages and methods for semantic analyses (extended abstract of invited talk)

Cited in

(7)

• Compositional refinements in multiple blackboard systems
• scientific article; zbMATH DE number 4018376 (Why is no real title available?)
• smgn: Rapid Prototyping of Small Domain-Specific Languages
• scientific article; zbMATH DE number 3978364 (Why is no real title available?)
• scientific article; zbMATH DE number 3995042 (Why is no real title available?)
• scientific article; zbMATH DE number 2088359 (Why is no real title available?)
• VDM semantics of programming languages: Combinators and monads

This page was built for publication: Direct semantics of concurrent languages in the SMoLCS approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3766819)