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

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Toimittajat	Jean-Pierre Talpin, Patricia Derler, Klaus Schneider
Julkaisupaikka	Vienna, Austria
Kustantaja	ACM
Sivut	157-160
ISBN (elektroninen)	978-1-4503-5093-8
DOI - pysyväislinkit	https://doi.org/10.1145/3127041.3127062
Tila	Julkaistu - 29 syysk. 2017
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	ACM-IEEE International Conference on Formal Methods and Models for System Design - Kesto: 1 tammik. 2000 → …

Conference

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

Julkaisufoorumi-taso

Jufo-taso 1

!!ASJC Scopus subject areas

Yleinen tietojenkäsittelytiede

Pääsy asiakirjaan

10.1145/3127041.3127062

Siteeraa tätä

@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. julkaisussa J-P Talpin, P Derler & K Schneider (toim), Proceedings of 15th ACM-IEEE International Conference on Formal Methods and Models for System Design. ACM, Vienna, Austria, Sivut 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. toim. / Jean-Pierre Talpin; Patricia Derler; Klaus Schneider. Vienna, Austria: ACM, 2017. s. 157-160.

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

Abstrakti

Conference

Julkaisufoorumi-taso

!!ASJC Scopus subject areas

Pääsy asiakirjaan

Sormenjälki

Siteeraa tätä