C2ST: a quality framework to evaluate e-government service delivery, 8th International Conference EGOV 2009, Proceedings of ongoing research, project contributions and workshops, pp.74-84, 2009. ,
Business processes verification for e-gov service delivery, Information Systems Management journal ,
DOI : 10.1080/10580530.2010.514164
Developing fully functional E-government: A four stage model, Government Information Quarterly, vol.18, issue.2, pp.122-136, 2001. ,
DOI : 10.1016/S0740-624X(01)00066-1
A survey of Web-based business models for e-government in the Netherlands, Government Information Quarterly, vol.25, issue.2, pp.202-220, 2008. ,
DOI : 10.1016/j.giq.2007.06.005
E-Government Business Models for Public Service Networks, International Journal of Electronic Government Research, vol.3, issue.3, pp.54-71, 2007. ,
DOI : 10.4018/jegr.2007070104
Technological foundations of electronic governance, Proceedings of the 1st international conference on Theory and practice of electronic governance, ICEGOV '07, pp.5-11, 2007. ,
DOI : 10.1145/1328057.1328063
A Survey of Formal Verification for Business Process Modeling, ICCS '08: Proceedings of the 8th international conference on Computational Science , Part II, pp.514-522, 2008. ,
DOI : 10.1007/978-3-540-69387-1_58
A Process-Algebraic Approach to Workflow Specification and Refinement, Proceedings of 6th International Symposium on Software Composition, 2007. ,
DOI : 10.1007/978-3-540-77351-1_5
Formal semantics and analysis of BPMN process models using petri nets. On-line, 2007. ,
Formal semantics of BPMN process models using YAWL. Intelligent Information Technology Applications, pp.70-74, 2007. ,
Business process verification ??? finally a reality!, Business Process Management Journal, vol.15, issue.1, pp.74-92, 2009. ,
DOI : 10.1108/14637150910931479
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.4585
Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns, Group Decision and Negotiation, vol.44, issue.4, pp.213-254, 2007. ,
DOI : 10.1007/s10726-006-9064-4
A modeling method based on CCS for workflow, Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC '09, pp.376-384, 2009. ,
DOI : 10.1145/1516241.1516307
Business processes???attempts to find a definition, Information and Software Technology, vol.45, issue.15, pp.1015-1019, 2003. ,
DOI : 10.1016/S0950-5849(03)00129-0
Business Process Change -A guide tor Business Manager and BPM and Six Sigma Professionals, 2004. ,
BPMN Modeling and Reference Guide Understanding and Using BPMN, Future Strategies Inc, 2008. ,
Communicating Sequential Processes, 2004. ,
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit, Communications in Computer and Information Science, vol.32, issue.6, pp.307-322, 2008. ,
DOI : 10.1109/TSE.2006.55
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation, Lecture Notes in Computer Science, vol.5074, pp.465-479, 2008. ,
DOI : 10.1007/978-3-540-69534-9_35
Quality of Digital e-Government Services, 2010. ,