Showing
1 - 2
results of
2
for search '
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Topic:
process algebra
Reset Filters
Show filters (1)
Topic:
process algebra
Search Results - Open Polar
Search Results
Showing
1 - 2
results of
2
for search '
'
, query time: 0.10s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Select result number 1
1
Process Algebra with Layers: A Language for Multi-Scale Integration Modelling
by
Scott, Erin Gemma
Published in
Electronic Notes in Theoretical Computer Science
(2016)
Get access
Get access
Doctoral or Postdoctoral Thesis
Select result number 2
2
Reactive Systems:Modelling, Specification and Verification
by
Aceto, Luca
,
Ingolfsdottir, Anna
,
Larsen, Kim Guldstrand
,
Srba, Jiri
Published 2007
Get access
Book
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Book
1
Doctoral or Postdoctoral Thesis
1
Author
Aceto, Luca
1
Ingolfsdottir, Anna
1
Larsen, Kim Guldstrand
1
Scott, Erin Gemma
1
Srba, Jiri
1
see all ...
Topic
process algebra
Algebra
1
Multiscale modeling
1
bisimulation
1
computational modelling
1
integrated scales
1
multi-scale models
1
reactive systems
1
real-time systems
1
temporal logic
1
see all ...
Content Provider
Aalborg University's Research Portal
1
University of Stirling: Stirling Digital Research Repository
1
Geographic location
Pacific
1
Language
English
2
Open Polar Keyword
Iceland
1
Ocean acidification
1
Pacific oyster
1
Loading...