Home
Home
Search
Open menu
About
Research
Education
Innovation
Careers
More
Search
About
Toggle About navigation
Organisation
Leadership
Simula Culture
Simula Awards
Milestones
People
News
Research
Toggle Research navigation
Research Areas
Research Departments
Publications
Contract research
Projects
Education
Toggle Education navigation
Simula Academy
Courses & summer schools
Master's students
PhD candidates
Researcher training
Research exchanges
Innovation
Toggle Innovation navigation
Simula Innovation
Simula Consulting
Careers
Toggle Careers navigation
Summer internships
Professional development
Job openings
research
On Verification of Parallel Message-Passing Processes
On Verification of Parallel Message-Passing Processes
Authors
S. Krogdahl
and
O. Lysne
Status
Published
Publication type
Journal Article
Year of publication
2002
Journal
Formal Aspects of Computing
Publisher
Springer
Citation key
10792
Google Scholar
BibTex