Output details
11 - Computer Science and Informatics
Swansea University
Output title
Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum
Type
E - Conference contribution
Name of conference/published proceedings
Recent Trends in Algebraic Development Techniques
Volume number
7137
Issue number
-
First page of article
209
ISSN of proceedings
0302-9743
Year of publication
2012
URL
-
Number of additional authors
2
Additional information
<10> Our work concerning the "Semantic Foundations of CSP" receives industrial funding from the company Grid-Tools (contact: Huw Price, Director, Oxfordshire, huw.price@grid-tools.com). Grid-Tools is an international company that specializes in data generation for the testing of software systems, e.g., in the banking sector, and in smart energy management for electricity providers. They aim to expand their portfolio using our modeling and testing techniques for reactive systems.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
