scientific article; zbMATH DE number 41616
From MaRDI portal
Publication:3994615
Applications of computability and recursion theory (03D80) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of operating systems (68N25) Theory of software (68N99) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Recommendations
Cited in
(15)- Issues of algorithmics and Glushkov's systems of algorithmic algebras
- Optimality of software resource structurization in distributed processing
- Academician V. S. Mikhalevich as a scientist and science organizer (on the occasion of his 70th birthday)
- Macropipelined execution of asynchronous processes competing for a limited number of transfer channels
- Algebraic approach to the design of distributed computing systems
- scientific article; zbMATH DE number 3885359 (Why is no real title available?)
- scientific article; zbMATH DE number 1381680 (Why is no real title available?)
- Model of distributed computing system operation with time
- scientific article; zbMATH DE number 194201 (Why is no real title available?)
- scientific article; zbMATH DE number 550776 (Why is no real title available?)
- scientific article; zbMATH DE number 7300408 (Why is no real title available?)
- Algebras of languages associated with labelled graphs
- On mobile agent self-location using topological properties of environment
- scientific article; zbMATH DE number 7310244 (Why is no real title available?)
- Glushkov's algorithmic algebras and automated parallel computing design
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3994615)
