A specification of parallel problems

DOI10.1016/0020-0190(79)90012-7zbMath0405.68031OpenAlexW2004800845MaRDI QIDQ1257334

Ludwik Czaja

Publication date: 1979

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(79)90012-7

zbMATH Keywords

FairnessParallel ComputingFormal SystemDeadlockImplementation of Campbell-Habermann's Path ExpressionsLockoutMutual ExclusionParallel SystemPriority Queue SchedulingSequential Processors

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Related Items

Parallel system schemas and their relation to automata, Deadlock and fairness in parallel schemas: A set-theoretic characterization and decision problems

Cites Work

• An algebraic characterization of the behaviour of non-sequential systems
• Derivatives of Regular Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item