Concurrent Execution System for Action Languages

Antti Jääskeläinen; Hannu-Matti Järvinen; Mikko Tiusanen

doi:10.1145/3127041.3127062

Concurrent Execution System for Action Languages

Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Abstract

Traditional methods of managing concurrent processes are difficult and prone to errors. We propose that actions can provide a much simpler approach to the problem. In this paper, we use Temporal Logic of Actions to de ne an execution system that can be used to concurrently execute programs created with action languages. Important features of the system include naturally concurrent ex- ecution of actions, automated management of mutual exclusion, complete avoidance of low-level deadlocks, and implicit means of synchronization.

Original language	English
Title of host publication	Proceedings of 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Editors	Jean-Pierre Talpin, Patricia Derler, Klaus Schneider
Place of Publication	Vienna, Austria
Publisher	ACM
Pages	157-160
ISBN (Electronic)	978-1-4503-5093-8
DOIs	https://doi.org/10.1145/3127041.3127062
Publication status	Published - 29 Sept 2017
Publication type	A4 Article in conference proceedings
Event	ACM-IEEE International Conference on Formal Methods and Models for System Design - Duration: 1 Jan 2000 → …

Conference

Conference	ACM-IEEE International Conference on Formal Methods and Models for System Design
Period	1/01/00 → …

Publication forum classification

Publication forum level 1

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1145/3127041.3127062

Cite this

@inproceedings{7b68ba636d22455aa6797a4d67964355,

title = "Concurrent Execution System for Action Languages",

abstract = "Traditional methods of managing concurrent processes are difficult and prone to errors. We propose that actions can provide a much simpler approach to the problem. In this paper, we use Temporal Logic of Actions to de ne an execution system that can be used to concurrently execute programs created with action languages. Important features of the system include naturally concurrent ex- ecution of actions, automated management of mutual exclusion, complete avoidance of low-level deadlocks, and implicit means of synchronization.",

author = "Antti J{\"a}{\"a}skel{\"a}inen and Hannu-Matti J{\"a}rvinen and Mikko Tiusanen",

note = "EXT={"}Tiusanen, Mikko{"}; ACM-IEEE International Conference on Formal Methods and Models for System Design ; Conference date: 01-01-2000",

year = "2017",

month = sep,

day = "29",

doi = "10.1145/3127041.3127062",

language = "English",

pages = "157--160",

editor = "Jean-Pierre Talpin and Patricia Derler and Klaus Schneider",

booktitle = "Proceedings of 15th ACM-IEEE International Conference on Formal Methods and Models for System Design",

publisher = "ACM",

address = "United States",

}

Jääskeläinen, A, Järvinen, H-M & Tiusanen, M 2017, Concurrent Execution System for Action Languages. in J-P Talpin, P Derler & K Schneider (eds), Proceedings of 15th ACM-IEEE International Conference on Formal Methods and Models for System Design. ACM, Vienna, Austria, pp. 157-160, ACM-IEEE International Conference on Formal Methods and Models for System Design, 1/01/00. https://doi.org/10.1145/3127041.3127062

Concurrent Execution System for Action Languages. / Jääskeläinen, Antti; Järvinen, Hannu-Matti; Tiusanen, Mikko.
Proceedings of 15th ACM-IEEE International Conference on Formal Methods and Models for System Design. ed. / Jean-Pierre Talpin; Patricia Derler; Klaus Schneider. Vienna, Austria: ACM, 2017. p. 157-160.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Concurrent Execution System for Action Languages

AU - Jääskeläinen, Antti

AU - Järvinen, Hannu-Matti

AU - Tiusanen, Mikko

N1 - EXT="Tiusanen, Mikko"

PY - 2017/9/29

Y1 - 2017/9/29

N2 - Traditional methods of managing concurrent processes are difficult and prone to errors. We propose that actions can provide a much simpler approach to the problem. In this paper, we use Temporal Logic of Actions to de ne an execution system that can be used to concurrently execute programs created with action languages. Important features of the system include naturally concurrent ex- ecution of actions, automated management of mutual exclusion, complete avoidance of low-level deadlocks, and implicit means of synchronization.

AB - Traditional methods of managing concurrent processes are difficult and prone to errors. We propose that actions can provide a much simpler approach to the problem. In this paper, we use Temporal Logic of Actions to de ne an execution system that can be used to concurrently execute programs created with action languages. Important features of the system include naturally concurrent ex- ecution of actions, automated management of mutual exclusion, complete avoidance of low-level deadlocks, and implicit means of synchronization.

U2 - 10.1145/3127041.3127062

DO - 10.1145/3127041.3127062

M3 - Conference contribution

SP - 157

EP - 160

BT - Proceedings of 15th ACM-IEEE International Conference on Formal Methods and Models for System Design

A2 - Talpin, Jean-Pierre

A2 - Derler, Patricia

A2 - Schneider, Klaus

PB - ACM

CY - Vienna, Austria

T2 - ACM-IEEE International Conference on Formal Methods and Models for System Design

Y2 - 1 January 2000

ER -

Concurrent Execution System for Action Languages

Abstract

Conference

Publication forum classification

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this