Barnes & Noble Communication-Based Systems: Proceeding of the 3rd International Workshop held at TU Berlin, Germany, 31 March - 1 April 2000 at CoolSprings Galleria in Franklin, TN
This workshop on Communication-Based Systems is intended to present the research results of students of the Graduiertenkolleg 'Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas: • Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics; • Performance evaluation, dependability modeling, and analysis of real-time systems with different kinds of timed Petri-Nets; • Specification and analysis of communication prools; • Reliability, security, and dependability in distributed systems; • Object orientation in distributed systems architecture; • Software development and concepts for distributed applications; • Computer network architecture and management; • Language concepts for distributed systems.
This workshop on Communication-Based Systems is intended to present the research results of students of the Graduiertenkolleg 'Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas: • Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics; • Performance evaluation, dependability modeling, and analysis of real-time systems with different kinds of timed Petri-Nets; • Specification and analysis of communication prools; • Reliability, security, and dependability in distributed systems; • Object orientation in distributed systems architecture; • Software development and concepts for distributed applications; • Computer network architecture and management; • Language concepts for distributed systems.
More About Barnes and Noble at CoolSprings Galleria
Barnes & Noble is the world’s largest retail bookseller and a leading retailer of content, digital media and educational products. Our Nook Digital business offers a lineup of NOOK® tablets and e-Readers and an expansive collection of digital reading content through the NOOK Store®. Barnes & Noble’s mission is to operate the best omni-channel specialty retail business in America, helping both our customers and booksellers reach their aspirations, while being a credit to the communities we serve.
