Process Algebra-Based Description for Software Requirement.
Haomin ZhanGuisheng YinChangsong SunLinshan ShenJun NiPublished in: IMSCCS (2008)
Keyphrases
- process algebra
- formal methods
- model checking
- formal specification
- asynchronous circuits
- concurrent systems
- web services composition
- concurrent programs
- computer systems
- software development
- software systems
- petri net
- real time
- software components
- grid workflow
- formal languages
- service composition
- general purpose
- software engineering
- mobile devices
- artificial intelligence