ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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 Workflow Specification and Refinement
Software Composition - Lecture Notes in Computer Science
◽
10.1007/978-3-540-77351-1_5
◽
2007
◽
pp. 51-65
◽
Cited By ~ 23
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
◽
Cited By ~ 1
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
◽
Cited By ~ 41
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
◽
Cited By ~ 3
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
◽
Cited By ~ 2
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
◽
Cited By ~ 7
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close