Enhancing Reaction Systems: A Process Algebraic Approach

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_5 ◽

2019 ◽

pp. 68-85

Author(s):

Linda Brodo ◽

Roberto Bruni ◽

Moreno Falaschi

Keyword(s):

Algebraic Approach ◽

Reaction Systems ◽

Process Algebraic

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

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

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

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 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 linear algebraic approach to steady-state bifurcation of chemical reaction systems

Chemical Engineering Science ◽

10.1016/0009-2509(87)80015-5 ◽

1987 ◽

Vol 42 (3) ◽

pp. 535-541 ◽

Author(s):

C.A. Tsiligiannis ◽

G. Lyberatos

Keyword(s):

Steady State ◽

Chemical Reaction ◽

Algebraic Approach ◽

Reaction Systems ◽

Chemical Reaction Systems ◽

Steady State Bifurcation ◽

Approach To Steady State

Download Full-text