ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A model for real-time process algebras (extended abstract)
Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993
◽
10.1007/3-540-57182-5_29
◽
1993
◽
pp. 372-381
◽
Cited By ~ 2
Author(s):
Liang Chen
Keyword(s):
Real Time
◽
Time Process
◽
Process Algebras
Download Full-text
Related Documents
Cited By
References
A Family of Resource-Bound Real-Time Process Algebras
Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing
◽
10.1007/0-306-47003-9_27
◽
2006
◽
pp. 443-458
◽
Cited By ~ 1
Author(s):
Insup Lee
◽
Jin-Young Choi
◽
Hee Hwan Kwak
◽
Anna Philippou
◽
Oleg Sokolsky
Keyword(s):
Real Time
◽
Time Process
◽
Process Algebras
◽
Resource Bound
Download Full-text
A Family of Resource-Bound Real-Time Process Algebras
Electronic Notes in Theoretical Computer Science
◽
10.1016/j.entcs.2005.12.085
◽
2006
◽
Vol 162
◽
pp. 221-226
◽
Cited By ~ 3
Author(s):
Insup Lee
◽
Anna Philippou
◽
Oleg Sokolsky
Keyword(s):
Real Time
◽
Time Process
◽
Process Algebras
◽
Resource Bound
Download Full-text
Real-Time Process-Level Digital Twin for Collaborative Human-Robot Construction Work
Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC)
◽
10.22260/isarc2020/0212
◽
2020
◽
Author(s):
Xi Wang
◽
Ci-Jyun Liang
◽
Carol Menassa
◽
Vineet Kamat
Keyword(s):
Real Time
◽
Time Process
◽
Construction Work
◽
Digital Twin
◽
Process Level
Download Full-text
Artificial Intelligence-based Decision-Making Algorithms, Internet of Things Smart Devices, and Real-Time Process Monitoring in Sustainable Industry 4.0
Economics Management and Financial Markets
◽
10.22381/emfm15220204
◽
2020
◽
Vol 15
(2)
◽
pp. 30
Keyword(s):
Artificial Intelligence
◽
Decision Making
◽
Internet Of Things
◽
Real Time
◽
Process Monitoring
◽
Industry 4.0
◽
Smart Devices
◽
Time Process
Download Full-text
Conversion of Iterative Balance Models to Directly Calculating Explicit Models for Real-time Process Optimization and Scheduling
SNE Simulation Notes Europe
◽
10.11128/sne.26.tn.10357
◽
2016
◽
Vol 26
(4)
◽
pp. 257-266
Author(s):
Tomas Björkqvist
◽
Olli Suominen
◽
Matti Vilkko
◽
Mikko Korpi
Keyword(s):
Real Time
◽
Process Optimization
◽
Time Process
Download Full-text
Development of a compact real-time process gas analysis system for tritium accountancy for a DEMO fusion reactor by an application of laser Raman spectroscopy
Fusion Engineering and Design
◽
10.1016/j.fusengdes.2021.112502
◽
2021
◽
Vol 170
◽
pp. 112502
Author(s):
Shigeru O’hira
◽
Yuki Edao
◽
Kanetsugu Isobe
◽
Yasunori Iwai
Keyword(s):
Raman Spectroscopy
◽
Real Time
◽
Fusion Reactor
◽
Gas Analysis
◽
Laser Raman Spectroscopy
◽
Time Process
◽
Laser Raman
◽
Process Gas
◽
Analysis System
Download Full-text
Using Quartz Crystal Microbalance to Provide Real-Time Process Monitoring
2020 International Symposium on Semiconductor Manufacturing (ISSM)
◽
10.1109/issm51728.2020.9377515
◽
2020
◽
Author(s):
Hirofumi Tsuchiyama
◽
Steven Lakeman
Keyword(s):
Real Time
◽
Quartz Crystal Microbalance
◽
Process Monitoring
◽
Quartz Crystal
◽
Time Process
Download Full-text
Advanced Real‐Time Process Analytics for Multistep Synthesis in Continuous Flow**
Angewandte Chemie International Edition
◽
10.1002/anie.202016007
◽
2021
◽
Author(s):
Peter Sagmeister
◽
René Lebl
◽
Ismael Castillo
◽
Jakob Rehrl
◽
Julia Kruisz
◽
...
Keyword(s):
Real Time
◽
Continuous Flow
◽
Time Process
◽
Process Analytics
◽
Multistep Synthesis
Download Full-text
Advanced Real‐Time Process Analytics for Multistep Synthesis in Continuous Flow**
Angewandte Chemie
◽
10.1002/ange.202016007
◽
2021
◽
Author(s):
Peter Sagmeister
◽
René Lebl
◽
Ismael Castillo
◽
Jakob Rehrl
◽
Julia Kruisz
◽
...
Keyword(s):
Real Time
◽
Continuous Flow
◽
Time Process
◽
Process Analytics
◽
Multistep Synthesis
Download Full-text
Real time process monitoring using diffraction-based overlay measurements from YieldStar
2020 International Workshop on Advanced Patterning Solutions (IWAPS)
◽
10.1109/iwaps51164.2020.9286803
◽
2020
◽
Author(s):
Henry Chen
◽
Jimmy Chang
◽
Sheng-Tsung Tsao
◽
Junjun Zhang
◽
Jie Du
◽
...
Keyword(s):
Real Time
◽
Process Monitoring
◽
Time Process
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close