PROCESS ALGEBRAIC APPROACH TO HYBRID SYSTEMS

IFAC Proceedings Volumes ◽

10.3182/20050703-6-cz-1902.00338 ◽

2005 ◽

Vol 38 (1) ◽

pp. 325-330 ◽

Author(s):

Ed Brinksma ◽

Tomas Krilaviĉius ◽

Yaroslav S. Usenko

Keyword(s):

Hybrid Systems ◽

Algebraic Approach ◽

Process Algebraic

Download Full-text

A Process-Algebraic Approach to Workflow Specification and Refinement

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77351-1_5 ◽

2007 ◽

pp. 51-65 ◽

Author(s):

Peter Y. H. Wong ◽

Jeremy Gibbons

Keyword(s):

Algebraic Approach ◽

Process Algebraic

Download Full-text

A Process Algebraic Approach to Modeling Collective Behaviors in Social Networks

Third International Conference on Semantics, Knowledge and Grid (SKG 2007) ◽

10.1109/skg.2007.48 ◽

2007 ◽

Author(s):

Zongjian He ◽

Lulai Yuan ◽

Guosun Zeng

Keyword(s):

Social Networks ◽

Algebraic Approach ◽

Collective Behaviors ◽

Process Algebraic

Download Full-text

An algebraic approach to hybrid systems

Theoretical Computer Science ◽

10.1016/0304-3975(94)00146-a ◽

1995 ◽

Vol 138 (1) ◽

pp. 101-112 ◽

Author(s):

R.L. Grossman ◽

R.G. Larson

Keyword(s):

Hybrid Systems ◽

Algebraic Approach

Download Full-text

A process algebraic approach to reaction systems

Theoretical Computer Science ◽

10.1016/j.tcs.2020.09.001 ◽

2020 ◽

Author(s):

Linda Brodo ◽

Roberto Bruni ◽

Moreno Falaschi

Keyword(s):

Algebraic Approach ◽

Reaction Systems ◽

Process Algebraic

Download Full-text

Predictability of real-time systems: a process-algebraic approach

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563703 ◽

2002 ◽

Author(s):

V. Natarajan ◽

R. Cleaveland

Keyword(s):

Real Time ◽

Algebraic Approach ◽

Real Time Systems ◽

Time Systems ◽

Process Algebraic

Download Full-text

A process-algebraic approach for the analysis of probabilistic noninterference1

Journal of Computer Security ◽

10.3233/jcs-2004-12202 ◽

2004 ◽

Vol 12 (2) ◽

pp. 191-245 ◽

Author(s):

Alessandro Aldini ◽

Mario Bravetti ◽

Roberto Gorrieri

Keyword(s):

Algebraic Approach ◽

Process Algebraic

Download Full-text

A Process Algebraic Approach to Decomposition of Communicating SysML Blocks

International Journal of Modeling and Optimization ◽

10.7763/ijmo.2013.v3.257 ◽

2013 ◽

pp. 153-157 ◽

Author(s):

Jaco Jacobs ◽

Andrew Andrew Simpson

Keyword(s):

Algebraic Approach ◽

Process Algebraic

Download Full-text

A process-algebraic approach to the design of asynchronous (counterflow) pipelines

10.1049/ic:19960252 ◽

1996 ◽

Author(s):

P.G. Lucassen

Keyword(s):

Algebraic Approach ◽

Process Algebraic

Download Full-text

PARS: A Process Algebraic Approach to Resources and Schedulers

Process Algebra for Parallel and Distributed Processing ◽

10.1201/9781420064872-19 ◽

2008 ◽

pp. 353-380

Keyword(s):

Algebraic Approach ◽

Process Algebraic

Download Full-text

A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures

IEEE Transactions on Industrial Informatics ◽

10.1109/tii.2016.2527624 ◽

2016 ◽

Vol 12 (2) ◽

pp. 655-671 ◽

Author(s):

Jin Hyun Kim ◽

Inhye Kang ◽

Sungwon Kang ◽

Abdeldjalil Boudjadar

Keyword(s):

Timing Analysis ◽

Algebraic Approach ◽

Software Architectures ◽

Automotive Software ◽

Process Algebraic

Download Full-text