A framework for separation of concerns in concurrent programming
10.1109/COMPSAC.2007.24
Saved in:
Main Authors: | Ramirez, R., Santosa, A.E. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40775 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Formal verification of concurrent and distributed constraint-based java programs
by: Ramirez, R., et al.
Published: (2013) -
Declarative concurrency in Java
by: Ramirez, R., et al.
Published: (2013) -
Concurrent and distributed programming using constraint logic programs
by: Ramirez, R., et al.
Published: (2013) -
Concurrent programming made easy
by: Ramirez, Rafael, et al.
Published: (2013) -
Barriers in concurrent separation logic
by: Hobor, A., et al.
Published: (2013)