Author/Creator: Amme, Wolfram - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Amme, Wolfram

1. Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. (13th July 2009)

Authors:: Amme, Wolfram; Martens, Axel; Moser, Simon
Journal:: International journal of business process integration and management
Issue:: Volume 4:Number 1(2009)
Page Start:: 47
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Speculative optimizations for interpreting environments. (29th April 2013)

Authors:: Adler, Philipp; Amme, Wolfram
Journal:: Software, practice & experience
Issue:: Volume 44:Number 10(2014)
Page Start:: 1223
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Static analysis and process model transformation for an advanced business process to Petri net mapping. (8th September 2017)

Authors:: Heinze, Thomas S.; Amme, Wolfram; Moser, Simon
Journal:: Software, practice & experience
Issue:: Volume 48:Number 1(2018)
Page Start:: 161
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗