CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
4 research outputs found
Compaction of state space and state space search for optimization problems in the SLIM parallel model checker
Author
川端 聡基
Publication venue
上田, 和紀
Publication date
27/01/2012
Field of study
Get PDF
Waseda University Repository
Semantics-based analysis for optimizing compilation of concurrent programs
Author
加藤 紀夫
Publication venue
[出版者不明]
Publication date
01/12/2005
Field of study
Get PDF
制度:新 ; 文部省報告番号:甲2127号 ; 学位の種類:博士(情報科学) ; 授与年月日:2005/12/22 ; 早大学位記番号:新412
Waseda University Repository
Encoding Distributed Process Calculi into LMNtal
Author
Cardelli
Frühwirth
+4 more
Kazunori Ueda
Milner
Ueda
Ueda
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref