Filter your results
- 9
- 1
- 9
- 1
- 10
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 10
- 2
- 1
- 4
- 3
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 results
|
|
|
sorted by
|
|
|
Fundamentals of Software EngineeringFarhad Arbab; Marjan Sirjani. Springer Berlin Heidelberg, LNCS-8161, 2013, Lecture Notes in Computer Science, 978-3-642-40212-8. ⟨10.1007/978-3-642-40213-5⟩
Books
hal-01514876v1
|
||
|
|
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.65-82, ⟨10.1007/978-3-662-43376-8_5⟩
Conference papers
hal-01290068v1
|
||
|
|
Rule-Based Form for Stream Constraints20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.142-161, ⟨10.1007/978-3-319-92408-3_6⟩
Conference papers
hal-01821489v1
|
||
|
|
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.31-48, ⟨10.1007/978-3-642-21464-6_3⟩
Conference papers
hal-01582996v1
|
||
|
|
Service Orchestration with Priority Constraints8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.194-209, ⟨10.1007/978-3-030-31517-7_14⟩
Conference papers
hal-03769135v1
|
||
|
|
Scheduling Games for Concurrent Systems18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers
hal-01631719v1
|
||
|
|
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.238-258, ⟨10.1007/978-3-319-24644-4_17⟩
Conference papers
hal-01446603v1
|
||
|
|
Take Command of Your Constraints!17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.117-132, ⟨10.1007/978-3-319-19282-6_8⟩
Conference papers
hal-01774935v1
|
||
|
|
Protocol Scheduling9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.3-17, ⟨10.1007/978-3-030-89247-0_1⟩
Conference papers
hal-04074514v1
|
||
|
|
Exposing Latent Mutual Exclusion by Work Automata2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.59-73, ⟨10.1007/978-3-319-68953-1_6⟩
Conference papers
hal-01760644v1
|