NDLI: Specification of Synchronizing Processes

Content Provider	IEEE Xplore Digital Library
Author	Ramamritham, K. Keller, R.M.
Copyright Year	1976
Abstract	The formalism of temporal logic has been suggested to be an appropriate tool for expressing the semantics of concurrent programs. This paper is concerned with the application of temporal logic to the specification of factors affecting the synchronization of concurrent processes. Towards this end, we first introduce a model for synchronization and axiomatize its behavior. SYSL, a very high-level language for specifying synchronization properties, is then described. It is designed using the primitives of temporal logic and features constructs to express properties that affect synchronization in a fairly natural and modular fashion. Since the statements in the language have intuitive interpretations, specifications are humanly readable. In addition, since they possess appropriate formal semantics, unambiguous specifications result.
Sponsorship	IEEE Computer Society Technical Council on Software Engineering Association for Computing Machinery (ACM) IEEE Computer Society
Starting Page	722
Ending Page	733
Page Count	12
File Size	5485884
File Format	PDF
ISSN	00985589
Volume Number	SE-9
Issue Number	6
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1983-11-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Specification languages High level languages Logic design Information science Computer science Cities and towns Message passing Protection Process design Software safety temporal logic Abstract model concurrent processing specification language synchronization
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Language Support for Loosely Coupled Distributed Programs

Selectors: High-Level Resource Schedulers

Extending Ina Jo with temporal logic

SLAN-4-A software specification and design language

Very High Level Concurrent Programming

Casting Petri Nets into Programs

The Design of a Message Switching System: An Application and Evaluation of Modula

Specification and validation of control-intensive IC's in hopCP

ESPRESO—A System for Process Control Software Specification

Specification of Synchronizing Processes

Similar Documents

Language Support for Loosely Coupled Distributed Programs

Selectors: High-Level Resource Schedulers

Extending Ina Jo with temporal logic

SLAN-4-A software specification and design language

Very High Level Concurrent Programming

Casting Petri Nets into Programs

The Design of a Message Switching System: An Application and Evaluation of Modula

Specification and validation of control-intensive IC's in hopCP

ESPRESO&#8212;A System for Process Control Software Specification

Specification of Synchronizing Processes

ESPRESO—A System for Process Control Software Specification