Towards a time model for circus

Adnan Sherif; He Jifeng

doi:10.1007/3-540-36103-0_62

Towards a time model for circus

Adnan Sherif
, He Jifeng

United Nations University Institute in Macau

Research output: Contribution to journal › Article › peer-review

38 Scopus citations

Abstract

In this work we propose a time model for Circus. The model is an extension to the model proposed by the unifying theories of programming and used by Circus. We take a subset of Circus and study its semantics in the new model. We create an abstraction function that maps the timed model to the original model. The main objective of this mapping is to create a relation between the two models. This allows the exploration of some properties of the timed semantics in the untimed model. We study a toy example to illustrate the use of this mapping.

Original language	English
Pages (from-to)	613-624
Number of pages	12
Journal	Lecture Notes in Computer Science
Volume	2495
DOIs	https://doi.org/10.1007/3-540-36103-0_62
State	Published - 2002
Externally published	Yes

Access to Document

10.1007/3-540-36103-0_62

Cite this

@article{3b4d4bbf12a141dd9682d28c5700efed,

title = "Towards a time model for circus",

abstract = "In this work we propose a time model for Circus. The model is an extension to the model proposed by the unifying theories of programming and used by Circus. We take a subset of Circus and study its semantics in the new model. We create an abstraction function that maps the timed model to the original model. The main objective of this mapping is to create a relation between the two models. This allows the exploration of some properties of the timed semantics in the untimed model. We study a toy example to illustrate the use of this mapping.",

author = "Adnan Sherif and He Jifeng",

year = "2002",

doi = "10.1007/3-540-36103-0\_62",

language = "英语",

volume = "2495",

pages = "613--624",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Towards a time model for circus

AU - Sherif, Adnan

AU - Jifeng, He

PY - 2002

Y1 - 2002

N2 - In this work we propose a time model for Circus. The model is an extension to the model proposed by the unifying theories of programming and used by Circus. We take a subset of Circus and study its semantics in the new model. We create an abstraction function that maps the timed model to the original model. The main objective of this mapping is to create a relation between the two models. This allows the exploration of some properties of the timed semantics in the untimed model. We study a toy example to illustrate the use of this mapping.

AB - In this work we propose a time model for Circus. The model is an extension to the model proposed by the unifying theories of programming and used by Circus. We take a subset of Circus and study its semantics in the new model. We create an abstraction function that maps the timed model to the original model. The main objective of this mapping is to create a relation between the two models. This allows the exploration of some properties of the timed semantics in the untimed model. We study a toy example to illustrate the use of this mapping.

UR - https://www.scopus.com/pages/publications/84948977737

U2 - 10.1007/3-540-36103-0_62

DO - 10.1007/3-540-36103-0_62

M3 - 文章

AN - SCOPUS:84948977737

SN - 0302-9743

VL - 2495

SP - 613

EP - 624

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

Towards a time model for circus

Abstract

Access to Document

Other files and links

Fingerprint

Cite this