Joyce—A programming language for distributed systems | Zendy

Hansen Per Brinch | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

Joyce—A programming language for distributed systems

Author(s) -

Hansen Per Brinch

Publication year - 1987

Publication title -

software: practice and experience

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.437

H-Index - 70

eISSN - 1097-024X

pISSN - 0038-0644

ISBN - 0-387-95401-5

DOI - 10.1002/spe.4380170105

Subject(s) - computer science , compiler , programming language , disjoint sets , pascal (unit) , variety (cybernetics) , theoretical computer science , distributed computing , artificial intelligence , mathematics , combinatorics

This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The use of Joyce is illustrated by a variety of examples.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research