Martin Bate
Process algebras and the rapid simulation of highly concurrent systems.
Bate, Martin; Cowie, Alex; Milne, George; Russell, Gordon
Abstract
No abstract available.
Citation
Bate, M., Cowie, A., Milne, G., & Russell, G. (1995). Process algebras and the rapid simulation of highly concurrent systems. In Proceedings of the 18th Australasian Computer Science Conference (21-31)
Conference Name | 18th Australasian Computer Science Conference |
---|---|
Online Publication Date | Apr 1, 1995 |
Publication Date | 1995 |
Deposit Date | Jul 15, 2010 |
Peer Reviewed | Peer Reviewed |
Pages | 21-31 |
Series ISSN | 0157-3055 |
Book Title | Proceedings of the 18th Australasian Computer Science Conference |
Keywords | concurrent sytems; |
Public URL | http://researchrepository.napier.ac.uk/id/eprint/3247 |
You might also like
Detection of Ransomware
(2024)
Patent
An Auditable Framework for Evidence Sharing and Management using Smart Lockers and Distributed Technologies: Law Enforcement Use Case
(2024)
Presentation / Conference Contribution
Real-time anomaly intrusion detection for a clean water supply system, utilising machine learning with novel energy-based features
(2020)
Presentation / Conference Contribution
Forensic Considerations for the High Efficiency Image File Format (HEIF)
(2020)
Presentation / Conference Contribution
Downloadable Citations
About Edinburgh Napier Research Repository
Administrator e-mail: repository@napier.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search